loading SCIP...
16 34390 true
1 2 19 25 42 43 47 50 58 62 65 74 79 90 97 99