enq.unisat