main(a,b,c){for(;~scanf("%d%d%d",&a,&b,&c);)printf("%.f\n",sin(acos((a*a+b*b-c*c)*.5/a/b))*a*b/2);}