Puzzles solved by SEA