loading SCIP...
11 40000 true
9 13 14 27 32 46 73 82 83 89 95