Puzzles solved by MMA1