loading SCIP...
32 9563 true
2 5 11 17 26 27 30 32 36 39 40 41 45 46 55 57 61 62 65 66 67 69 74 75 76 81 82 86 87 91 92 98