import random
N = int(input())
K = int(input())
win = 0
NUM = 300000

random.seed()
for i in range(NUM):
    taro = 0
    jiro = 0
    for j in range(N):
        jiro += random.randrange(1, 7)
    for k in range(K):
        taro += random.randrange(4, 7)
    for l in range(N-K):
        taro += random.randrange(1, 7)
    if taro > jiro:
        win += 1
print(win/NUM)