loading SCIP...
8 38437 true
11 40 51 53 58 71 80 84