탁자와 다리

정사각형이고 다리가 네 개인 탁자를 만드는 공장에서 다리를 고정하는 컨베이어가 갑자기 고장 났다. 낡은 컨베이어는 수리할 수 없어서 새 장비를 들였다. 그런데 새 모델은 다리가 없는 탁자에만 작동하며, 다리가 네 개인 완성품을 낸다. 따라서 다리가 하나, 둘, 셋인 탁자는 쓸모가 없어졌다.

완성에 가까운 제품을 버리지 않으려고 실험용 로봇을 투입하기로 했다. 로봇의 목표는 일부 탁자에서 다리를 풀어 다른 탁자에 붙이는 방식으로, 다리가 하나, 둘, 셋인 탁자의 수를 0으로 만드는 것이다.

로봇은 1분에 한 탁자에서 다리 하나를 풀거나, 앞서 풀어 둔 다리 하나를 다른 탁자에 붙일 수 있다. 이 작업을 끝내는 데 필요한 최소 시간을 구하라.

첫 줄에 공백으로 구분된 정수 $a_0, a_1, a_2, a_3, a_4$가 주어진다. $a_i$는 다리가 $i$개인 탁자의 수이다 ($0 \le a_i \le 10^{18}$).

답이 되는 수 하나를 출력한다.