loading SCIP...
28 12828 true
6 7 12 14 16 20 27 28 31 34 40 41 44 46 47 48 56 58 59 62 63 70 72 77 85 90 92 96