loading SCIP...
10 42469 true
8 10 28 29 36 39 54 82 95 98