a = {}
for i = 1, 4 do a[i] = io.read("*n") end
table.sort(a)
f = a[1] + 1 == a[2] and a[2] + 1 == a[3] and a[3] + 1 == a[4]
print(f and "Yes" or "No")