loading SCIP...
14 34328 true
0 4 6 28 49 53 56 61 64 68 69 71 83 95