loading SCIP...
37 3250 true
0 4 11 17 20 23 28 33 34 37 41 45 46 49 51 53 56 58 60 61 62 64 67 70 71 72 73 75 76 77 78 83 85 93 94 97 99