loading SCIP...
11 41766 true
3 9 17 19 47 64 69 78 92 94 99