loading SCIP...
30 6546 true
1 2 3 9 10 12 16 17 23 24 25 26 32 33 35 38 45 48 49 50 52 63 65 67 71 74 83 90 93 99