loading SCIP...
8 50063 true
12 33 36 39 56 72 83 93