loading SCIP...
12 39875 true
5 33 35 38 55 63 71 80 90 91 93 94