AC-3: un cambio puede viajar por la red

Restricciones: X < Y < Z · dominio inicial de Z: {3}