loading SCIP...
10 44578 true
12 13 22 46 51 52 65 73 84 89