Think of assigning the values n,n−1,…,1. When we decide where value c is placed, every condition with maximum c must use that same position, because c appears only once in a permutation.
So, all subsets Si with ci=c must have a common position. Moreover, that position cannot appear in a condition with a smaller maximum, because then placing c there would make that smaller maximum too large.
For each position v, let mn[v] be the minimum ci over all conditions whose subset contains v. If v is in no subset, set mn[v]=∞.
Then value c can be placed only at positions that belong to every subset with maximum c and also satisfy mn[v]=c.