loading SCIP...
10 48437 true
7 16 29 40 52 53 59 82 90 98