loading SCIP...
11 39765 true
3 16 41 43 44 49 50 71 77 92 93