loading SCIP...
8 39125 true
11 25 39 48 51 57 83 99