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

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