loading SCIP...
8 48828 true
0 21 38 49 51 56 60 76