자간 왕국에서는 지금까지 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$엔을 나타내는 데 필요한 최소 지폐 장수).

여러분은 이 불편도의 가능한 최솟값을 구해야 합니다.

입력

입력의 첫째 줄에 세 정수 $a$, $b$, $c$가 주어집니다 ($1 \le a < b < c \le 10^8$).

출력

새로운 지폐 체계의 불편도의 가능한 최솟값을 나타내는 정수 하나를 출력합니다.

예제

예제 입력 1

6 11 15

예제 출력 1

6

예제 입력 2

99999959 99999971 99999989

예제 출력 2

11