loading SCIP...
9 50594 true
13 22 30 35 36 53 82 84 98