loading SCIP...
17 32953 true
5 6 37 38 54 58 63 64 66 70 74 75 77 79 84 85 92