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

