smq.unisat