Constraint issue

In reply to moshiko:

what is your expected output for a, b, and c ?