sudoku_ip.fzn 60.4 KB