loading SCIP...
29 12266 true
4 6 10 12 19 20 23 24 25 27 28 29 31 34 41 44 54 56 58 69 71 73 76 81 82 84 86 87 92