Puzzles solved by ASC