POBEDA-2014

현대의 비디오카드는 삼각형만으로 이미지를 만든다고 알려져 있다. 비디오카드 POBEDA-2014도 이런 흐름에서 뒤처지지 않는다. 이 카드는 아래 그림에 나오는 네 가지 방향의 직각이등변삼각형만 화면에 표시할 수 있다. 이 삼각형들의 방향을 바꾸는 것은 불가능하다.

1번 유형	2번 유형	3번 유형	4번 유형

위 삼각형들의 직각변 길이는 모두 1cm이다. 한 클록 동안 비디오카드는 i번 유형의 삼각형을 $a_i$개보다 많이 표시할 수 없다.

비디오카드가 한 클록 동안 모니터 화면에 표시할 수 있는 정사각형의 한 변의 최대 길이를 구해야 한다. 이때 정사각형의 변은 모니터 가장자리와 평행해야 한다.

주어진 문제를 해결하는 프로그램을 작성하시오.

입력 파일의 첫째 줄에 공백으로 구분된 네 개의 정수 $a_1$, $a_2$, $a_3$, $a_4$가 주어진다 ($0 \le a_1, a_2, a_3, a_4 \le 10^{18}$). 입력 데이터는 32비트 자료형의 최댓값을 넘을 수 있다.

출력 파일에 정사각형의 한 변의 최대 길이 하나를 출력한다.

다음은 첫 번째 예제에 대한 그림이다.