loading SCIP...
28 11531 true
8 14 16 19 24 25 29 32 45 46 51 53 56 57 65 69 72 74 75 80 83 85 88 90 93 97 98 99