RUN: $(vendor_scheduling_sat_py3)