RUN: $(weighted_tardiness_sat) --input $(wt40.txt)