Σs∈S vSTs ≥ L , (6)