only exporting now, solving using scip