loading SCIP...
10 44547 true
3 11 18 25 43 47 48 53 59 87