He never did work out the solution.

• 他确实一直没有研究出这个答案。