loading SCIP...
31 9500 true
2 4 6 14 21 22 26 27 29 36 37 38 43 45 52 53 54 58 61 65 67 69 70 78 80 86 90 92 94 95 98