add SOS constraints