/* A Sudoku puzzle */
n(2,1,9).
n(5,1,6).
n(6,1,1).
n(7,1,5).
n(1,2,7).
n(3,2,1).
n(9,2,8).
n(2,3,4).
n(7,3,9).
n(8,3,3).
n(2,4,8).
n(4,4,7).
n(6,4,5).
n(5,5,4).
n(4,6,3).
n(6,6,8).
n(8,6,1).
n(2,7,3).
n(3,7,4).
n(8,7,8).
n(1,8,9).
n(7,8,6).
n(9,8,3).
n(3,9,7).
n(4,9,2).
n(5,9,8).
n(8,9,5).

