SAT(L)#4