n = list(map(int, input().split())) 
n.sort()

if n[0] + 1 == n[1] and n[1] + 1 == n[2] and n[2] + 1 == n[3]:
    print('Yes')
    
else:
    print('No')