Puzzles solved by MARTHA