9 2 5 8 1 . 4 . 3 7 9 3 6 8 2 7 5 1 4 4 7 1 5 3 . 2 8 . 7 1 5 2 . 3 . 4 . 8 4 9 6 7 5 3 2 1 3 6 2 4 1 . . 7 5 1 2 4 9 . . 7 5 3 5 9 3 7 4 2 1 6 8 6 8 7 3 5 1 4 9 2 # # sudoku_p17.txt # See http://www.hakank.org/jacop/Sudoku2.scala # # This problem is problem 17 from # Gecode's sudoku.cpp # http://www.gecode.org/gecode-doc-latest/sudoku_8cpp-source.html #