#include <stdio.h>

int main() {
    
float a,b;
scanf("%f",&a);
scanf("%f",&b);    
    
printf("%f",a*b/2);    
    
    return 0;
}