#include <stdio.h>

int main() {

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

    return 0;
}