Recorrido de clausulas mejorado

Con esta mejora el SatSolver solo recorrera las clausulas con el valor
contrario a la preposicion que queramos propagar. Esto lo convierte en
un algoritmo mas rapido debido a que tarda menos en hacer las
propagaciones