A structural theorem that depends quantitatively on the complexity of SAT