ジャガン王国では、これまで 1 円紙幣のみが発行されてきました。しかし、紙幣の流通量の増加に伴い、王国は紙幣制度を全面的に刷新することを決定しました。新しい紙幣制度は正の整数列 $x = (x_1, x_2, \dots, x_k)$ によって表されます。これは、新しい制度では額面がそれぞれ $x_1, x_2, \dots, x_k$ 円である $k$ 種類の紙幣を使用することを意味します。以下の制約のもとで、紙幣の種類数 $k$ とそれらの額面 $x_1, x_2, \dots, x_k$ を自由に決めることができます：

• $k$ は正の整数である。
• $1 = x_1 < x_2 < \dots < x_k$。
• $x_{i+1}$ は $x_i$ の倍数でなければならない（$1 \le i \le k - 1$）。

ジャガン王国では、商品はしばしば $a$ 円、$b$ 円、または $c$ 円の価格で取引されます。したがって、新しい紙幣制度の不便さは次のように定義されます：

（$a$ 円を表すのに必要な紙幣の最小枚数）$+$ （$b$ 円を表すのに必要な紙幣の最小枚数）$+$ （$c$ 円を表すのに必要な紙幣の最小枚数）。

あなたの仕事は、この不便さのとり得る最小値を求めることです。

入力

入力の最初の行には 3 つの整数 $a$、$b$、$c$ が含まれる（$1 \le a < b < c \le 10^8$）。

出力

新しい紙幣制度の不便さのとり得る最小値を表す 1 つの整数を出力せよ。

入出力例

入力例 1

6 11 15

出力例 1

6

入力例 2

99999959 99999971 99999989

出力例 2

11