Cracking the new SAT

Cracking the new SAT