beq.unisat