New SAT detection