l = list(map(int,input().split()))
a = [0] * 105
for i in l:
    a[i] = 1
i = 1
while a[i] == 0:
    i += 1
if a[i+1] ==1 and a[i+2] == 1 and a[i+3] == 1:
    print('Yes')
else:
    print('No')