loading SCIP...
8 32125 true
10 11 31 34 44 78 84 99