loading SCIP...
11 41593 true
4 6 10 20 26 35 52 61 66 70 95