loading SCIP...
29 11000 true
2 4 5 9 10 12 14 15 16 19 22 53 55 59 60 61 63 67 69 73 74 75 76 77 79 80 84 85 98