add solution of problem 7.12