Puzzles solved by reNATA