RUN: $(sports_scheduling_sat)