loading SCIP...
10 34187 true
8 10 24 45 51 54 55 72 79 81