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

‘数组元素f（1）到f（8）赋初值为0，代码略

Key=2*Int（Rnd*45）+1

i=1：j=9：c=0：s=0

Do While i<j

    c=c+1

    m=（i+j）\2

    f（m）=1

    If Key<a（m）Then j=m Else i=m+1

Loop

For k=1 To 8

    s=s+f（k）

Next k

数组元素a（1）到a（8）中的值为：4，20，32，42，58，60，90，91。执行该程序段后，下列说法正确的是（    ）

A、变量c的值可能为5

B、变量s的值一定为奇数

C、变量i的值可能为9

D、变量j的值可能为7