1017.py

a = input()
b = input()
print('{:.3f}').format(a*b/12.0)