The Evolution of the SAT