import numpy as np


def main():
    integers = sorted(map(int, input().split()))
    diff = np.diff(integers)
    if all(map(lambda num: num == 1, diff)):
        print("Yes")
    else:
        print("No")


if __name__ == "__main__":
    main()