Puzzles solved by mata