SAT exponential decay