mejor tautologia
arreglar satisfasible