loading SCIP...
12 38937 true
3 4 10 19 22 24 31 38 42 47 51 68