added an exact ILP