loading SCIP...
30 6750 true
0 1 2 13 17 20 23 31 33 34 35 39 46 49 53 54 56 58 60 61 62 64 74 79 82 85 91 92 93 98