Puzzles solved by abt