loading SCIP...
10 42750 true
16 27 42 43 50 51 61 76 83 99