Puzzles solved by HANAH