l=list(map(int,input().split()))
l.sort()
if l==list(range(l[0],l[0]+4)):
    print("Yes")
else:
    print("No")