Puzzles solved by ajt