loading SCIP...
12 38844 true
22 28 39 42 44 47 59 65 71 72 82 95