conversion_1.mzn 16 KB