Puzzles solved by KATT