Tag:

a solution that does not simultaneously satisfy all constraints is called an