conversion_2.mzn 37.1 KB