loading SCIP...
14 38671 true
5 17 27 58 63 64 68 70 74 75 80 85 86 89