loading SCIP...
7 46437 true
8 20 25 32 37 86 94