loading SCIP...
12 40671 true
10 11 12 38 44 60 61 65 67 72 82 93