loading SCIP...
30 5781 true
2 28 30 38 39 41 42 44 46 49 55 56 59 60 63 65 72 73 75 80 81 83 84 88 91 94 95 96 97 99