trial12.fzn 2.19 KB