loading SCIP...
30 9187 true
2 5 6 10 12 14 19 28 30 36 38 41 42 43 44 47 48 49 50 52 53 60 63 73 74 77 89 91 92 98