Puzzles solved by MIRIAN