modify the mzn file