RUN: $(jobshop_sat) --input $(ft06)