Title: Nailing the new SAT