loading SCIP...
10 46266 true
10 26 30 34 38 46 48 51 64 84