Puzzles solved by Manuel Castro