loading SCIP...
10 44547 true
3 10 24 45 47 60 68 86 87 99