loading SCIP...
17 34922 true
2 3 12 16 17 26 27 35 54 63 64 68 69 74 76 92 93