def main():
    lst = list(map(int,input().split()))
    lst.sort()
    answer = "Yes"
    for i,_ in enumerate(lst[0:-1]):
        if lst[i+1] == lst[i] + 1:
            continue
        else:
            answer = "No"
    print(answer)



if __name__ == '__main__':
    main()