loading SCIP...
29 10750 true
0 10 14 15 16 17 19 24 26 28 30 33 38 44 56 62 65 70 72 74 75 84 86 87 91 93 94 96 98