How SAT Solvers Cheat the Exponential Wall