In the following pair of sentences, a is more formal. 
a) They are certainly not insurmountable; however, it is very unlikely that they will be solved in the near future.
b) They are by no means insurmountable; however, it is highly unlikely that they will be resolved in the foreseeable future.
A、正确
B、错误