loading SCIP...
9 43578 true
13 27 29 49 63 77 82 93 98