loading SCIP...
28 8328 true
0 8 14 15 20 21 22 34 35 37 38 42 44 50 52 55 61 65 70 72 73 82 83 85 86 87 96 99