Puzzles solved by Mimma