#include <stdio.h>

int main() {
    
    float l, b, r;
    
    scanf("%d%d", &l, &b);
    
    r = 0.5 * l * b;
    printf("%d", r);
    return 0;
    
}