Puzzles solved by KarQ