loading SCIP...
12 38859 true
8 25 26 35 39 44 51 53 82 83 93 94