loading SCIP...
30 12422 true
0 2 5 11 18 22 24 27 36 39 40 44 46 48 55 57 58 59 64 69 72 75 76 79 83 85 91 94 95 98