Hack the SAT by