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

