add solutions of problem 9.12