sudoku_pi_2008.fzn 9.84 KB