adding solutions of book How to solve it by computer