sudoku_sat.py 2.37 KB