loading SCIP...
22 22546 true
2 10 23 26 32 35 36 37 39 40 51 55 60 63 72 73 76 77 78 84 87 89