En el Reino de Jagan, hasta ahora solo se han emitido billetes de 1 yen. Sin embargo, debido al aumento en la circulación de billetes, el reino ha decidido renovar por completo su sistema de billetes. El nuevo sistema de billetes se representa mediante una sucesión de enteros positivos $x = (x_1, x_2, \dots, x_k)$. Esto significa que el nuevo sistema utiliza $k$ tipos de billetes con denominaciones de $x_1, x_2, \dots, x_k$ yenes. Puedes decidir la cantidad de tipos de billetes $k$ y sus valores $x_1, x_2, \dots, x_k$ bajo las siguientes restricciones:

• $k$ es un entero positivo.
• $1 = x_1 < x_2 < \dots < x_k$.
• $x_{i+1}$ debe ser múltiplo de $x_i$ ($1 \le i \le k - 1$).

En el Reino de Jagan, los bienes suelen comerciarse a precios de $a$, $b$ o $c$ yenes. Por lo tanto, la incomodidad del nuevo sistema de billetes se define como:

(El número mínimo de billetes necesarios para representar $a$ yenes) $+$ (El número mínimo de billetes necesarios para representar $b$ yenes) $+$ (El número mínimo de billetes necesarios para representar $c$ yenes).

Tu tarea es encontrar el mínimo valor posible de esta incomodidad.

Entrada

La primera línea de la entrada contiene tres enteros: $a$, $b$ y $c$ ($1 \le a < b < c \le 10^8$).

Salida

Imprime un entero: el mínimo valor posible de la incomodidad para el nuevo sistema de billetes.

Ejemplos

Entrada 1

6 11 15

Salida 1

6

Entrada 2

99999959 99999971 99999989

Salida 2

11