loading SCIP...
9 45219 true
18 21 31 42 59 63 72 73 87