小满写「百钱买百鸡」：公鸡 5 元一只，母鸡 3 元一只，小鸡 1 元三只，用 100 元正好买 100 只鸡。她把公鸡数 的循环写成了 for (int x = 0; x <= 100; x++)，同桌小航说：上界写 20 就够了，。关于这件事，下列说法正确的是（ ）。
- A. 小满会漏解：公鸡枚举到 100 反而会丢掉一部分正确答案，必须写 20 才能找全
- B. 20 是小航随手估的数，写成 100 更保险，而且两种写法跑起来一样快
- C. 20 是推出来的：一只公鸡 5 元，100 元最多买 20 只，再多钱就不够了；写成 100 不算错、答案一个不少，只是多检查了 80 个「钱根本不够」的公鸡数，白花约 5 倍时间
- D. 写成 100 会输出多余的假解：必须靠上界 20 把这些假解挡在循环外面