loading SCIP...
35 4766 true
3 7 8 11 12 15 17 25 29 32 38 39 41 42 44 48 51 53 54 63 65 67 68 69 76 78 79 81 84 86 87 88 90 94 95