Σs∈S Ts ≤ D , (7)