loading SCIP...
12 37828 true
4 5 7 35 37 48 61 75 77 83 86 92