/*#include <stdio.h>
int main()
{
int c,b,d;
scanf("%d %d %d",&c,&b,&d);
printf("%d\n",c+b+d);
printf("%.1f",(c+b+d)/3.0);
return 0;
}
*/
/*#include <stdio.h>
int main()
{
float c,b;
scanf("%f %f",&c,&b);
printf("%.2f",c*b);
return 0;
}
*/
/*#include <stdio.h>
int main()
{
int a,b;
scanf("%d %d",&a,&b);
printf("%d",a%b);
return 0;
}
#include <stdio.h>
int main()
{
int a;
scanf("%d",&a);
printf("%d %d",a/60,a%60);
return 0;
}
*/
/*
a b
a+b 합
a-b 차
a*b 곱
a/b 몫
a%b 나머지
비교연산자
a b
> < >= <= == !=
=은 항상 오른쪽에 써주기!
a>b 맞다 1 참 true
아니다 0 거짓 false
*/
/*#include<stdio.h>
int main()
{
int a,b;
scanf("%d %d",&a,&b);
printf("%d",a>b);
return 0;
}
*/
/*#include<stdio.h>
int main()
{
int a,b;
scanf("%d %d",&a,&b);
printf("%d",a==b);
return 0;
}
*/
/*#include<stdio.h>
int main()
{
int a,b;
scanf("%d %d",&a,&b);
printf("%d",a<=b);
return 0;
}
*/
/*#include<stdio.h>
int main()
{
int a,b;
scanf("%d %d",&a,&b);
printf("%d",a!=b);
return 0;
}
*/
#include<stdio.h>
int main()
{
int a,b;
scanf("%d %d",&a,&b);
printf("%.1f",a*b/2.0);
return 0;
}