loading SCIP...
28 12063 true
6 9 11 12 19 20 26 30 33 35 37 39 40 44 46 57 58 61 63 68 73 78 79 83 84 86 94 95