Solver problem 1.3.3.