def main():

    A = list( map( int, input().split()))
    A.sort()
    for i in range(3):
        if A[i]+1 != A[i+1]:
            print("No")
            return
    print("Yes")
if __name__ == '__main__':
    main()