einav_puzzle.fzn 118 KB