loading SCIP...
26 16546 true
11 14 15 18 25 27 28 30 34 45 47 52 56 62 69 75 76 79 80 82 84 89 90 95 97 99