Secrets of the SAT