loading SCIP...
12 38718 true
2 3 18 23 30 31 43 44 47 55 60 74