英语翻译1.he thought he had already solved the problem ,but that