RUN: $(car_sequencing_optimization_sat_py3)