#include "bits/stdc++.h"
using namespace std;
int main(){
    int a,b;
    cin>>a>>b;
    cout<<a*b/2;
    return 0;
}

#include<stdio.h>
int main()
{
    int a,b,c,d;
    scanf("%d %d %d",&a,&b,&c);
    d=a*(b+c-a);
    printf("%d",d);
    return 0;

}

#include <stdio.h>
int main()
{
    int a,b;
    scanf("%d%d",&a,&b);
    printf("%d",a*b*1/2);
    return 0;
}

#include <stdio.h>
int main()
{
    int a,b;
    scanf("%d%d",&a,&b);
    printf("%d",a*b/2);
    return 0;
}////B站搜索关注Siglota喵

#include <stdio.h>

int main() {

int a;
int b;
int x;

scanf("%d %d", &a, &b);

x = a*b/2;

printf("%d", x);

return 0;

}

#include<stdio.h>
int main()
{
    int a,b,c;
    scanf("%d %d",&a,&b);
    c=a*b/2;
    printf("%d",c);
    return 0;

}

#include <iostream> using namespace std; int main() { int a,b; cin>>a>>b; cout<<a*b/2<<endl; return 0;

}