loading SCIP...
10 44141 true
14 19 24 55 66 72 75 77 79 85