Title: Crushing the SAT