S(E):17
S(A/B):4
S(A'nB):5 ise s(B):?