loading SCIP...
12 38141 true
2 7 49 59 60 63 70 74 75 91 94 98