survo_puzzle.fzn 2.07 KB