loading SCIP...
18 28516 true
6 12 19 29 32 34 37 40 42 51 56 57 64 65 66 81 83 93