Strenghten arc formulation + add bound on f[i,j]