899995.unisat#76,058,420text899994.unisat#76,058,402text010869.unisat#75,777,560text011169.unisat#75,777,559text011069.unisat#75,777,553text011769.unisat#75,777,549text010769.unisat#75,777,538text010069.unisat
010169.unisat
010269.unisat
010469.unisat
010569.unisat#75,728,957text