loading SCIP...
18 28187 true
0 8 12 19 23 32 43 46 51 66 71 78 82 92 94 95 96 98