#include <stdio.h>

int main() {

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