loading SCIP...
10 43609 true
30 37 61 64 74 75 86 89 95 99