// #include<stdio.h>
// int main(){
//     int a,b,c;
//     scanf("%d%d",&a,&b);
//     c=a+b;
//     printf("%d",c);
// }

// #include<stdio.h>
// int main(){
//     int a,b,c,D,e;
//     scanf("%d%d",&a,&b);
//     c=a*b;
//     D=a/b;
//     e=a-b;
//     printf("subraction: %d\nDivision: %d\nmultiplication: %d",c,D,e);
// }

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