loading SCIP...
16 38500 true
2 10 15 23 33 37 42 51 52 54 64 67 79 91 93 97