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

