loading SCIP...
11 39750 true
1 14 23 27 28 40 44 51 71 77 83