2026-03-14 20:09:06 +09:00

1 line
64 B
Python

print((lambda x: x[0]*x[1])(list(map(int, input().split())))//2)