loading SCIP...
13 35750 true
10 31 33 39 42 43 54 65 68 70 77 88 93