loading SCIP...
31 9766 true
2 8 11 12 13 20 27 32 34 42 49 52 53 54 59 60 71 74 76 79 80 82 83 87 88 91 93 96 97 98 99