loading SCIP...
10 45703 true
9 13 23 25 35 37 65 71 87 94