某对分查找算法的VB程序段如下：

For i=1 To 20

  f(i)=0

Next i

i=1: j=20: n=0

m=1

Do While i<=j And f(m)=0

  m=(i+j)\2

  n=n+1

  If a(m)=Key Then

    f(m)=1

  ElseIf a(m)<Key Then j=m-1

  Else i=m+1

  End If

Loop

数组元素a(1)到a(20)各不相同且按降序排列，若执行该程序段后n的值为4，则Key的值不可能为（     ）

A、a(3)

B、a(8)

C、a(11)

D、a(17)