Изменения

$\Rightarrow$

Пусть среди ${x_i}$ будет $2t$ единиц.

Давайте найдем $s_j$, в которой среди $A_j$ единиц столько же, сколько и среди $B_j$. Тогда в ней будет $a_j = b_j$, из чего и будет следовать требуемое.