Puzzles solved by aht