loading SCIP...
9 46157 true
18 32 39 62 64 68 74 78 82