loading SCIP...
9 45640 true
2 3 19 64 72 74 83 93 94