agregado algoritmo naif de sat solving a preliminares