Puzzles solved by GBO