RUN: $(task_allocation_sat_py3)