loading SCIP...
10 42062 true
9 17 28 29 30 42 43 50 70 83