loading SCIP...
29 12750 true
0 6 8 10 16 19 23 24 28 30 35 37 46 47 48 49 51 57 64 65 67 71 72 75 82 84 87 89 93