Cracking the new SAT

171427