loading SCIP...
32 9172 true
0 2 5 9 12 17 27 29 32 38 39 40 42 43 45 48 57 61 63 68 72 76 79 80 81 83 86 87 88 89 92 98