Puzzles solved by SatKa