Puzzles solved by AMANDA