loading SCIP...
12 38484 true
11 18 29 35 37 56 57 60 66 77 80 96