loading SCIP...
14 35718 true
13 17 28 30 34 39 43 45 51 65 75 83 84 94