loading SCIP...
12 37843 true
11 19 24 42 43 44 52 74 75 88 90 94