#include <stdio.h>

int main() {
   float a,b;
    scanf("%f",&a); 
    scanf("%f",&b);
    
    printf("%.1f\n",a*b/2);

    
    return 0;
}