+ time of SAT