loading SCIP...
32 6562 true
3 5 14 15 23 26 28 30 37 38 39 42 43 44 45 46 55 56 60 61 68 70 71 74 75 82 84 87 88 92 93 96