Caos con las aplicaciones del SAT