loading SCIP...
11 26703 true
3 16 28 31 32 41 42 46 51 52 77