uzbekian_puzzle.fzn 1.37 KB