#include <stdio.h>
int main()
{
double a,b,h;
scanf("%lf %lf",&b,&h);
a=0.5*b*h;
printf("%.2lf\n",a);
return 0;
}
#include <stdio.h>
int main()
{
double a,b,h;
scanf("%lf %lf",&b,&h);
a=0.5*b*h;
printf("%.2lf\n",a);
return 0;
}