loading SCIP...
17 36125 true
3 6 7 11 16 26 29 34 44 56 58 70 76 84 87 88 95