The big problem with the new SAT