loading SCIP...
18 28109 true
8 20 30 31 39 41 43 54 57 61 78 80 81 84 92 93 94 99