loading SCIP...
11 40969 true
7 8 16 37 39 43 44 60 63 77 94