float s;main(a,b,c){while(~scanf("%d%d%d",&a,&b,&c))printf("%.f\n",sqrt((s=(a+b+c)*.5)*(s-a)*(s-b)*(s-c)));}