open_atleast.fzn 1.4 KB