loading SCIP...
27 13094 true
0 2 4 5 6 7 10 12 16 17 22 24 28 31 32 34 43 46 50 58 61 63 64 69 85 89 91