loading SCIP...
7 38609 true
15 26 28 32 34 36 55