Se log102 = x e log10 3 = y, então log518 vale: