Puzzles solved by MATHA