16313번 - Janitor Troubles 스페셜 저지다국어

While working a night shift at the university as a janitor, you absent-mindedly erase a blackboard covered with equations, only to realize afterwards that these were no ordinary equations! They were the notes of the venerable Professor E. I. N. Stein who earlier in the day solved the elusive maximum quadrilateral problem! Quick, you have to redo his work so no one noticed what happened.

The maximum quadrilateral problem is quite easy to state: given four side lengths s₁, s₂, s₃ and s₄, find the maxiumum area of any quadrilateral that can be constructed using these lengths. A quadrilateral is a polygon with four vertices.

The input consists of a single line with four positive integers, the four side lengths s₁, s₂, s₃, and s₄.

It is guaranteed that 2s_i < Σ⁴_j=1 s_j, for all i, and that 1 ≤ s_i ≤ 1000

Output a single floating point number, the maximal area as described above. Your answer must be accurate to an absolute or relative error of at most 10⁻⁶.