Find a set of smallest possible size that has both and as subsets.