conversion_1.mzn 15.8 KB