Puzzles solved by CHISKY