[ABC195B] Many Oranges

题面翻译

有若干个橘子，重量在 $a$ 克以上 $b$ 克以下（含 $a$ 克和 $b$ 克）。请问它们的重量之和能否正好为 $w$ 公斤？如果可以，输出橘子个数的最小值和最大值；否则输出 UNSATISFIABLE 。

注意，每个橘子的重量都可能不是整数。

题目描述

みかんがたくさんあります。どのみかんの重さも $A$ グラム以上 $B$ グラム以下であることがわかっています。（みかんの重さは整数とは限りません。）

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

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

输入格式

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

$A$ $B$ $W$

输出格式

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

样例 #1

样例输入 #1

100 200 2

样例输出 #1

10 20

样例 #2

样例输入 #2

120 150 2

样例输出 #2

14 16

样例 #3

样例输入 #3

300 333 1

样例输出 #3

UNSATISFIABLE

提示

制約

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

Sample Explanation 1

みかん $1$ 個の重さは $100$ グラム以上 $200$ グラム以下です。 - $200$ グラムのみかんを $10$ 個選んだとき、重さの合計はちょうど $2$ キログラムになります - $100$ グラムのみかんを $20$ 個選んだとき、重さの合計はちょうど $2$ キログラムになります $9$ 個以下または $21$ 個以上でちょうど $2$ キログラムになることはないので、$10$ 個と $20$ 個がそれぞれ最小値と最大値になります。

Sample Explanation 2

みかん $1$ 個の重さは $120$ グラム以上 $150$ グラム以下です。 - 例えば $140$ グラムのみかん $10$ 個と、$150$ グラムのみかん $4$ 個を選んだとき、重さの合計はちょうど $2$ キログラムになります - 例えば $120$ グラムのみかん $8$ 個と、$130$ グラムのみかん $8$ 個を選んだとき、重さの合計はちょうど $2$ キログラムになります $13$ 個以下または $17$ 個以上でちょうど $2$ キログラムになることはないので、$14$ 個と $16$ 個がそれぞれ最小値と最大値になります。

Sample Explanation 3

みかん $1$ 個の重さは $300$ グラム以上 $333$ グラム以下です。 このようなみかんいくつかの重さの合計がちょうど $1$ キログラムになることはありえません。