saturation constraint