Solve problem 13.