Puzzles solved by mARI