loading SCIP...
11 41875 true
3 12 13 42 47 62 69 72 76 84 88