import sys
input = sys.stdin.readline


W, Z, B = input().rstrip().split()
ans = (int(W)+int(Z))*(10+int(B.replace('.', '')))//10
print(ans)