half-done sudoku solver