Puzzles solved by NESTOR