#include<stdio.h>
int main()
{
   int a,b;
   float c;
   scanf("%d%d",&a,&b);
   c=a*b*1.0/2;
   printf("%.1f",c);

    return 0;
}