結果 : sudoku constraint satisfaction problem python