loading SCIP...
10 41766 true
3 13 20 31 36 42 76 95 98 99