7.1.3 SOS约束