某算法的部分流程图如图所示。执行这部分流程，输入a的值是12，输出s的值是（     ）

A、6

B、7

C、8

D、20