qrsq.unisat