loading SCIP...
18 30125 true
0 1 6 8 12 15 23 25 32 47 56 60 61 63 71 76 79 98