loading SCIP...
9 46297 true
1 13 26 28 50 64 74 79 97