SAT(L)#12