loading SCIP...
17 30859 true
7 25 26 35 37 40 43 50 51 56 63 69 74 76 77 79 87