loading SCIP...
22 22984 true
8 10 13 16 20 24 27 31 35 37 38 40 42 49 52 55 59 70 72 74 75 82