seseman2.fzn 8.44 KB