loading SCIP...
8 44328 true
4 21 35 43 65 73 75 89