根据鸽巢原理,元素 \(>31\) 个绝对有解。
否则,如果有两个集合 \(S, T\),其异或值相等,显然可以做到无交,那么必然可以取出 \(S, T\) 中的任意一个元素,其与剩下元素异或值相等,写个线性基暴力插入数即可。