loading SCIP...
12 39578 true
3 5 6 9 18 25 38 63 75 82 84 95