9 lines
143 B
C
Raw Normal View History

2023-12-01 13:35:13 +01:00
#include <stdio.h>
#include <stdlib.h>
int main(int argc, char **argv) {
int h, b;
scanf("%d %d", &h, &b);
printf("%f\n", (h*b)/2.0);
}