케이블카

한 무리의 대학생들이 산 정상에서 소풍을 즐기기 위해 그곳에 가려고 한다. 이를 위해 학생들은 케이블카를 이용하기로 했다.

케이블카 운행 시설은 케이블을 통해 여러 케이블 정거장에 매달린 여러 대의 케이블카로 이루어진다. 케이블은 첫 번째 케이블 정거장과 마지막 케이블 정거장 사이를 순환한다(첫 번째 정거장은 산기슭에 있고 마지막 정거장은 정상에 있다). 케이블이 움직이면 케이블에 연결된 케이블카도 함께 움직인다.

케이블카의 수는 삼의 배수이며, 케이블카는 빨간색, 초록색, 파란색의 세 가지 색으로 칠해져 있다. 모든 빨간색 케이블카 다음에는 초록색 케이블카가 오고, 모든 초록색 케이블카 다음에는 파란색 케이블카가 오며, 모든 파란색 케이블카 다음에는 빨간색 케이블카가 온다. 각 케이블카는 최대 두 명을 운송할 수 있고, 케이블카는 한 분의 주기마다(즉, 매분) 도착하며, 케이블카가 정상에 도착하는 데는 정확히 30분이 걸린다.

모든 학생은 세 그룹으로 나뉜다. 그중 r명은 빨간색 케이블카로만 올라가기를 원하고, g명은 초록색 케이블카만 선호하며, b명은 파란색 케이블카만 선호한다. 학생은 자신이 좋아하지 않는 색으로 칠해진 케이블카에는 절대 타지 않는다.

맨 처음 도착하는 케이블카는 (시각 0에) 빨간색이다. 모든 학생이 산 정상에 올라가는 데 걸리는 최소 시간을 구한다.

첫 번째 줄에 세 정수 r, g, b가 주어진다 (0 ≤ r, g, b ≤ 100). r + g + b > 0임이 보장되며, 이는 이 무리에 적어도 한 명의 학생이 있다는 뜻이다.

학생 무리 전체가 산 정상에 올라가는 데 필요한 최소 시간을 나타내는 하나의 수를 출력한다.

첫 번째 예제를 분석해 보자.

시각 0에 빨간색 케이블카가 오고, r 그룹의 학생 한 명이 케이블카에 타서 시각 30에 정상에 도착한다.

시각 1에 초록색 케이블카가 도착하고, g 그룹의 학생 두 명이 케이블카에 탄다. 이들은 시각 31에 정상에 도착한다.

시각 2에는 파란색 케이블카가 오고, b 그룹의 학생 두 명이 케이블카에 탄다. 이들은 시각 32에 정상에 도착한다.

시각 3에 빨간색 케이블카가 도착하지만, 남은 유일한 학생은 빨간색을 좋아하지 않으므로 케이블카는 빈 채로 떠난다.

시각 4에 초록색 케이블카가 도착하고, g 그룹의 학생 한 명이 케이블카에 탄다. 이 학생은 시각 34에 정상에 도착한다.

따라서 모든 학생이 정상에 도착하며, 올라가는 데 전체적으로 정확히 34분이 걸렸다.