loading SCIP...
10 37187 true
9 12 21 49 50 51 53 60 61 68