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

