#include <stdio.h>

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


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

    
    return 0;
}