def main():
    import sys
    input = sys.stdin.readline

    A = list(map(int, input().split()))
    A.sort()
    if A[3] == A[2]+1 == A[1]+2 == A[0]+3:
        print('Yes')
    else:
        print('No')


if __name__ == '__main__':
    main()