loading SCIP...
13 38000 true
1 7 20 25 34 38 42 48 55 56 59 66 68