RUN: $(tsp_sat_py3)