Puzzles solved by DGSAN