【Python】Atcoder なぜWAになるかわからない

Question

前提・実現したいこと

Atcoder ABCの過去問リンク内容を以下のようなPythonコードで実装しました。

テストケースで一つだけWAになりますが、その原因がわかりません。
どのようなケースが凡例に当たるのでしょうか。
わかる方いらっしゃいましたらお願いいたします。

該当のソースコード

import math
from decimal import Decimal

A, B, X = (Decimal(x) for x in input().split())

flag = 0

# 桁数の確定
for i in range(0,10):
    ini = 10**i
    #print(ini)
    ini_pay = A*ini+B*(i+1)
    #print(i,ini_pay)
    if ini_pay <= X:
        order = i
        flag = 1
if flag == 0:
    print(0)
    exit()

order += 1
#print("order",order)

if order == 10:
    print(1000000000)
    exit()
#print("order",order)

# 最大数
ans = math.floor(((X-B*order)/A))
print(ans)

Answer 1

どのようなケースが凡例反例に当たるのでしょうか。

A=1, B=10, X=20
のとき
正しい答えは9となるべきですが、
質問文のコードは10を出力します。

（N=10を買おうとしても、

A*N + B*d(N) = 1*10+10*2 =30

となり、所持金20では買えません）

Comments

[Cm4_eyn]

ありがとうございます、無事ACになりました。