loading SCIP...
12 40437 true
5 18 34 37 47 51 54 61 65 68 74 95