loading SCIP...
9 44360 true
10 36 51 61 69 71 77 91 96