Puzzles solved by GERARDO