loading SCIP...
10 47359 true
1 5 14 18 24 41 44 74 86 91