loading SCIP...
7 38734 true
10 12 49 79 85 86 91