#include<stdio.h>
int main()
{
    float p,a,b,c,S;
    p=(a+b+c)*0.5;
    S=sqrt(p*(p-a)*(p-b)*(p-c));
    scanf("%f%f%f",&a,&b,&c);
    printf("%.1f\n",S);
    return 0;
}