Add solutions to the problems from exercise13