loading SCIP...
18 30172 true
0 14 17 19 23 30 34 39 52 54 55 57 62 69 71 76 82 88