#include <stdio.h>

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