loading SCIP...
9 46078 true
8 10 26 45 50 72 79 89 90