Ahora, mostramos que para cada recorrido que cubre todas las ciudades, hay valores de las variables formula_2 que satisfacen las restricciones.