loading SCIP...
11 42156 true
4 36 42 52 62 63 66 74 76 85 87