Mike was tired of solving the problem. It was so difficult task, that he was trying to solve it in vain.