SAT(L)#1