pairs.unisat