loading SCIP...
11 38125 true
14 17 26 27 39 44 58 60 65 66 78