formalización SAT