El problema de la sobre-sistematización del SAT