SAT TRANSITIONS