loading SCIP...
11 42953 true
2 23 30 53 58 59 60 62 83 85 93