청소부의 실수

대학에서 야간 청소부로 일하던 중, 방심한 채로 방정식으로 가득한 칠판을 지워 버렸다. 그런데 나중에 보니 그건 평범한 방정식이 아니었다! 그날 낮에 존경하는 E. I. N. Stein 교수가 난제였던 최대 사각형 문제를 풀어 놓은 노트였다! 서둘러야 한다. 아무도 눈치채지 못하게 교수의 작업을 다시 해내야 한다.

최대 사각형 문제는 아주 간단히 말할 수 있다. 네 변의 길이 $s_1, s_2, s_3, s_4$가 주어질 때, 이 길이들로 만들 수 있는 사각형 중 넓이가 최대인 것을 찾는 것이다. 사각형은 꼭짓점이 네 개인 다각형이다.

입력은 한 줄로 이루어지며, 네 변의 길이 $s_1, s_2, s_3, s_4$를 나타내는 네 개의 양의 정수가 주어진다.

모든 $i$에 대해 $2s_i < \sum_{j=1}^{4} s_j$이고 $1 \le s_i \le 1000$임이 보장된다.

위에서 설명한 최대 넓이를 나타내는 실수 하나를 출력한다. 답의 절대 오차 또는 상대 오차는 $10^{-6}$ 이하여야 한다.