Puzzles solved by GAS