Add deterministic demand satisfaction constraint