loading SCIP...
28 9453 true
0 1 4 12 13 15 24 31 35 39 51 54 56 57 62 63 64 68 70 71 75 76 79 81 84 90 92 97