loading SCIP...
13 37969 true
2 4 10 21 31 35 38 49 59 60 72 76 94