Puzzles solved by BENARDO