loading SCIP...
11 44812 true
2 5 20 26 29 36 46 51 61 72 82