loading SCIP...
9 52563 true
0 4 8 43 47 54 68 89 92