#include <stdio.h>

int main() {

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