loading SCIP...
14 34219 true
1 3 7 27 34 39 53 60 61 62 67 75 77 85