SAT(L) #2