Algoritmo de Arco consistencia funcionando.