loading SCIP...
9 47968 true
0 1 11 14 47 50 54 83 88