loading SCIP...
39 4250 true
1 3 5 6 9 11 15 23 28 29 30 31 32 34 35 37 39 42 44 48 51 53 54 55 59 63 64 69 74 75 77 83 85 86 87 90 91 93 98