loading SCIP...
17 33500 true
3 14 26 33 40 44 51 53 56 67 68 69 76 82 83 91 92