loading SCIP...
9 35516 true
5 27 30 33 51 68 71 84 87