loading SCIP...
7 51219 true
22 74 75 80 84 87 92