Title: Cracking the SAT