loading SCIP...
9 48890 true
40 41 42 46 47 54 80 89 93