RUN: $(sudoku_sat_py3)