*a,=map(int,input().split())
a.sort()
print('YNeos'[not a[0]==a[1]-1==a[2]-2==a[3]-3::2])