loading SCIP...
10 45234 true
7 11 15 18 37 39 46 51 79 95