sudoku from http://norvig.com/sudoku.html