nine_digit_arrangement.fzn 2.24 KB