loading SCIP...
9 29797 true
5 39 45 65 71 82 96 97 99