RUN: $(weighted_latency_problem_sat_py3)