loading SCIP...
12 42156 true
5 6 7 8 19 26 27 30 38 52 64 69