conversion_2.mzn 24.4 KB