Puzzles solved by GABY