loading SCIP...
12 43562 true
3 11 13 31 32 47 50 60 79 89 91 93