Bài toán: Muốn làm món trái cây đông lạnh theo tỉ lệ 1 : 2 : 4 (một quả chuối, hai quả táo, bốn quả đào). Thầy Vinh có lần lượt a quả chuối, b quả táo, c quả đào. Không được cắt quả ra thành phần nhỏ và bắt buộc phải dùng đủ cả 3 loại quả trong mỗi bộ tỉ lệ. Hãy xác định số quả nhiều nhất có thể dùng để làm món (tức số bộ nhân với 7). Nếu không thể làm được bộ nào thì in 0.

Input:

Dòng 1: số nguyên a (1 ≤ a ≤ 1000) – số chuối.
Dòng 2: số nguyên b (1 ≤ b ≤ 1000) – số táo.
Dòng 3: số nguyên c (1 ≤ c ≤ 1000) – số đào.

Output:

Một số nguyên – tổng số quả tối đa có thể dùng. 
Nếu không thể làm món, in 0.

Ví dụ 1

Input
2
5
7

Output
7

Giải thích

Ví dụ 2
Input
4
17
13
Output
21
Giải thích
k = min(4, ⌊17/2⌋=8, ⌊13/4⌋=3) = 3 ⇒ dùng 3 bộ, tổng 3×7 = 21 quả.
Ví dụ 3

Input
1
2
3
Output
0
Giải thích
⌊3/4⌋ = 0 nên không thể tạo đủ 1 bộ ⇒ in 0.