RUN: $(qubo_sat_py3)