loading SCIP...
34 6250 true
0 4 16 18 19 21 23 24 25 32 35 36 38 40 43 44 46 49 52 53 54 59 62 64 67 71 74 77 82 84 86 87 94 98