conversion_2.mzn 24.1 KB