Symbol: _SatisfiesConstraintsSums