solution to problem 12