David Overton's finite domain sudoku solution