conversion_1.mzn 16.2 KB