loading SCIP...
8 46437 true
16 17 29 31 42 43 66 75