SAT(L)#7