/*
#include <stdio.h>
#include <stdlib.h>
int main()
{
printf("Hello world!\n");
return 0;
}
#include <stdio.h>
int main()
{
float a,b;
scanf("%f,%f",&a,&b);
printf("%.2f",b*a);
return 0;
}
#include <stdio.h>
int main()
{
int a,b;
scanf("%d,%d",&a,&b);
printf("%.1d",a*b/2);
return 0;
}
*/