Puzzles solved by BERTHA