loading SCIP...
7 47921 true
0 2 17 44 47 56 72