loading SCIP...
17 32671 true
4 6 12 13 15 27 29 34 35 58 71 72 85 86 89 91 92