#constraints

$m$ scientists each request $n$ telescope observations (target, instrument, time slot). A schedule must satisfy C1: exactly two observations per scientist are made; C2: at most one observation per instrument per slot; C3: all observations in one slot share a target. In which CSP formulation is C1 satisfied automatically by the choice of variables and values?