New SAT Redux