Cho ~a,b,c~ là ba số thực dương tương ứng với độ dài ba cạnh của một tam giác.

Yêu cầu:

Hãy tính diện tích tam giác đó.

Dữ liệu

Gồm 3 dòng:

• Dòng 1 chứa số thực ~a~
• Dòng 2 chứa số thực ~b~
• Dòng 3 chứa số thực ~c~

Kết quả:

• Một số thực duy nhất là diện tích tam giác tính được làm tròn tới 4 chữ số sau dấu chấm thập phân.

Input

3
4
5

Output

6.0000