Title: Hacking the SAT