loading SCIP...
9 33078 true
13 31 35 54 59 69 82 91 96