loading SCIP...
9 47203 true
14 26 41 42 46 48 63 77 89