loading SCIP...
19 26047 true
2 12 27 29 34 41 42 44 46 47 50 52 61 64 68 72 74 75 83