Title: Cracking the SAT II