loading SCIP...
11 42375 true
8 10 11 15 21 32 43 51 53 64 69