loading SCIP...
12 36985 true
16 20 22 30 39 43 44 49 52 55 59 90