initial Benders work