SAT strategy