loading SCIP...
9 46937 true
8 15 25 27 33 36 85 91 98