LECICAL UNISAT