SAT(4)