Largest family without A∪B⊆C∩D.