problem 1.12 1.13