#abc195b. [abc195_b]Many Oranges

[abc195_b]Many Oranges

問題文

みかんがたくさんあります。どのみかんの重さも AA グラム以上 BB グラム以下であることがわかっています。(みかんの重さは整数とは限りません。)

この中からいくつかのみかんを選んだところ、選んだみかんの重さの合計がちょうど WW キログラムになりました。

選んだみかんの個数として考えられる最小値と最大値を求めてください。ただし、このようなことが起こり得ないなら、かわりにそのことを報告してください。

制約

  • 1leqAleqBleq10001 \\leq A \\leq B \\leq 1000
  • 1leqWleq10001 \\leq W \\leq 1000
  • 入力は全て整数

入力

入力は以下の形式で標準入力から与えられる。

AA BB WW

出力

選んだみかんの個数としてありえる最小値と最大値を空白区切りでこの順に出力せよ。ただし、与えられた条件に合うような個数が存在しない場合、かわりに UNSATISFIABLE と出力せよ。


入力例 1

100 200 2

出力例 1

10 20

みかん 11 個の重さは 100100 グラム以上 200200 グラム以下です。

  • 200200 グラムのみかんを 1010 個選んだとき、重さの合計はちょうど 22 キログラムになります
  • 100100 グラムのみかんを 2020 個選んだとき、重さの合計はちょうど 22 キログラムになります

99 個以下または 2121 個以上でちょうど 22 キログラムになることはないので、1010 個と 2020 個がそれぞれ最小値と最大値になります。


入力例 2

120 150 2

出力例 2

14 16

みかん 11 個の重さは 120120 グラム以上 150150 グラム以下です。

  • 例えば 140140 グラムのみかん 1010 個と、150150 グラムのみかん 44 個を選んだとき、重さの合計はちょうど 22 キログラムになります
  • 例えば 120120 グラムのみかん 88 個と、130130 グラムのみかん 88 個を選んだとき、重さの合計はちょうど 22 キログラムになります

1313 個以下または 1717 個以上でちょうど 22 キログラムになることはないので、1414 個と 1616 個がそれぞれ最小値と最大値になります。


入力例 3

300 333 1

出力例 3

UNSATISFIABLE

みかん 11 個の重さは 300300 グラム以上 333333 グラム以下です。

このようなみかんいくつかの重さの合計がちょうど 11 キログラムになることはありえません。