loading SCIP...
9 44062 true
8 20 26 29 34 57 58 63 85