loading SCIP...
9 40797 true
8 10 16 33 34 38 43 87 96