S=\left\{k|k\equiv_20\wedge k>\frac n 2\right\}