regcerc112.unisat#12,320,222snsregner146.unisat#12,320,142snsreggerneter12.unisat#12,320,097snsreggivan.unisat#12,320,046snsregzercor12.unisat#12,320,032snsregcorner12.unisat#12,320,031snsregrecler12.unisat#12,320,030snsregduplex12.unisat#12,320,029snsregnerd12.unisat#12,320,028sns