loading SCIP...
19 28516 true
3 4 9 14 15 18 20 24 42 43 57 60 61 73 74 75 79 87 93