Puzzles solved by MANUe