import sys
read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines

M,N = map(int,read().split())

answer = M + (1/3) * N
print(answer)