모든 길은 결국 저를 통합니다

세종대학교, 한양대학교, 건국대학교가 연합 행사를 개최하며, 행사장에 배치할 대학 상징을 한 가지 종류로 통일하려고 한다.

대학 상징은 재료를 결합하여 만들어지며, 각 대학 상징을 구성하는 재료는 다음과 같다.

• 세종대학교 상징: 책 $1$개 + 붓 $1$개
• 한양대학교 상징: 책 $2$개
• 건국대학교 상징: 붓 $2$개

현재 세종대학교, 한양대학교, 건국대학교 상징을 각각 $A$, $B$, $C$개 가지고 있고, 다음 $4$가지 연산을 각각 원하는 만큼 수행할 수 있다.

• 분해: 상징 $1$개를 골라, 고른 상징을 구성하는 재료 $2$개로 분해한다.
• 결합: 재료 $2$개를 골라, 고른 두 재료로 구성되는 상징 $1$개로 결합한다.
• 재료 교체: 재료 $1$개를 골라, 다른 종류의 재료로 교체한다.
• 상징 교체: 상징 $1$개를 골라, 다른 두 종류의 상징 중 하나로 교체한다. 어느 종류의 상징으로 교체될지는 선택할 수 없으며, 연산이 끝난 뒤 그 결과를 확인할 수 있다.

각 연산을 수행한 뒤에는 그 결과에 따라 이후 수행할 연산을 선택할 수 있다.

어떤 경우에도 남는 재료 없이 모든 대학 상징을 한 가지 종류로 통일하기 위해 필요한 연산 횟수의 최솟값을 구하여라.

첫 번째 줄에 현재 가지고 있는 세종대학교, 한양대학교, 건국대학교 상징의 개수를 의미하는 세 정수 $A$, $B$, $C$가 공백으로 구분되어 주어진다. $(0 \le A, B, C \le 1\,000; 1 \le A+B+C \le 1\,000)$

첫 번째 줄에 어떤 경우에도 남는 재료 없이 모든 대학 상징을 한 가지 종류로 통일하기 위해 필요한 연산 횟수의 최솟값을 출력한다.