loading SCIP...
27 13266 true
4 5 15 17 18 20 27 39 41 46 50 52 55 57 59 61 71 72 74 80 81 82 87 90 92 95 97