Puzzles solved by ABQ