loading SCIP...
8 44906 true
16 26 29 41 44 60 83 86