loading SCIP...
10 38109 true
8 10 27 29 36 39 50 54 66 79