RUN: $(gate_scheduling_sat_py3)