multipl.fzn 2.22 KB