max_cut.fzn 6.17 KB