n = int(input())
b = []
for _ in range(n):
l, w = map(int, input().split())
b.append((min(l,w), max(l, w)))
b.sort()
l = b[-1][1]
ans = b[-1][0] * b[-1][1] / 2.
for i in range(n-2, -1, -1):
ans = max(ans, b[i][0] * min(l, b[i][1]), b[i][0] * b[i][1] / 2.)
l = max(l, b[i][1])
print('{:.1f}'.format(ans))
biA9IGludChpbnB1dCgpKQpiID0gW10KCmZvciBfIGluIHJhbmdlKG4pOgogICAgbCwgdyA9IG1hcChpbnQsIGlucHV0KCkuc3BsaXQoKSkKICAgIGIuYXBwZW5kKChtaW4obCx3KSwgbWF4KGwsIHcpKSkKCmIuc29ydCgpCgpsID0gYlstMV1bMV0KYW5zID0gYlstMV1bMF0gKiBiWy0xXVsxXSAvIDIuCgpmb3IgaSBpbiByYW5nZShuLTIsIC0xLCAtMSk6CiAgICBhbnMgPSBtYXgoYW5zLCBiW2ldWzBdICogbWluKGwsIGJbaV1bMV0pLCBiW2ldWzBdICogYltpXVsxXSAvIDIuKQogICAgbCA9IG1heChsLCBiW2ldWzFdKQoKcHJpbnQoJ3s6LjFmfScuZm9ybWF0KGFucykp