Title: Cracking the SAT with DVD