Open7

atcoderで緑になるまで頑張ってみる

piesukepiesuke

あーわかったかも

Wには An〜Bnの範囲でしかならないのか

全探索してあげたらいいの？

piesukepiesuke

探索の範囲は Wg / A を超えない範囲か

piesukepiesuke
A,B,W=map(int, input().split())

W_g=W*1000

min_ans = 10**15
max_ans = -10**15
for X in range(1,W_g // A + 1):
    if A*X<=W_g<=B*X:
        min_ans=min(min_ans,X)
        max_ans=max(max_ans,X)

if min_ans==10**15:
    print("UNSATISFIABLE")

else:
    print(min_ans,max_ans)