loading SCIP...
9 30844 true
14 25 31 34 52 57 65 73 79