loading SCIP...
30 11609 true
0 1 7 10 16 17 19 20 26 27 28 29 31 38 41 42 45 52 62 64 69 72 78 79 82 84 90 93 96 98