loading SCIP...
30 12359 true
2 4 6 13 15 22 26 28 40 41 43 48 51 53 54 56 61 69 72 73 75 76 81 82 83 84 86 93 96 97