CSJ + CE ≤ CC => (1*23) + (1*31) ≤ CC (IV) (fin)