loading SCIP...
11 44328 true
2 12 13 36 38 50 60 63 64 66 90