from collections import defaultdict

def Main():
    a=sorted(map(int,input().split()))
    if a[0]==a[1]-1==a[2]-2==a[3]-3:
        print("Yes")
    else:
        print("No")
Main()