loading SCIP...
10 42062 true
15 31 41 57 65 83 88 90 91 93