conversion_1.mzn 13 KB