#include <stdio.h>

int main() {
    
 float a,b;
 scanf("%f",&a);
 scanf("%f",&b);

    printf("%.1f",a*b/2);
    
    return 0;
}