loading SCIP...
29 13109 true
6 10 20 26 29 30 31 38 39 40 42 44 48 49 58 60 65 66 72 75 79 81 82 86 87 90 91 92 96