loading SCIP...
26 16656 true
6 13 19 35 44 49 50 52 54 60 61 62 65 68 72 75 76 77 85 86 87 88 92 93 94 98