Puzzles solved by SCL