loading SCIP...
22 22125 true
3 8 10 12 14 19 28 32 38 42 43 52 53 56 65 68 72 74 76 87 91 95