loading SCIP...
9 45453 true
18 23 44 60 63 65 78 88 91