Puzzles solved by ida