Solucionador SAT moderno e completo
