{MINI mint}