loading SCIP...
35 5844 true
3 5 6 9 12 14 16 19 21 26 29 33 34 35 39 42 46 54 55 59 67 68 70 72 74 76 81 83 85 86 92 93 94 95 99