loading SCIP...
11 42719 true
8 34 41 49 51 57 64 66 67 80 94