loading SCIP...
11 38922 true
17 30 33 35 49 51 62 74 77 79 86