loading SCIP...
14 39906 true
10 19 25 28 29 30 35 57 65 81 85 91 95 98