loading SCIP...
10 26750 true
9 13 15 27 28 43 44 45 60 85