loading SCIP...
8 51890 true
0 21 23 31 39 47 51 52