from sys import stdin



N = int(stdin.readline().rstrip())



if N in [1, 2, 3, 5, 6, 9, 10, 13, 17]:

    print('No')

else:

    print('Yes')

N = int(eval(input()))



if N in [1, 2, 3, 5, 6, 9, 10, 13, 17]:

    print('No')

else:

    print('Yes')

from sys import stdin

N = int(stdin.readline().rstrip())
if N in [1, 2, 3, 5, 6, 9, 10, 13, 17]:
    print("No")
else:
    print("Yes")

N = int(eval(input()))
if N in [1, 2, 3, 5, 6, 9, 10, 13, 17]:
    print("No")
else:
    print("Yes")

-from sys import stdin - -N = int(stdin.readline().rstrip()) +N = int(eval(input()))