#include #include int main(int argc, char **argv) { int h, b; scanf("%d %d", &h, &b); printf("%f\n", (h*b)/2.0); }