def main():
    a, b, c, d = sorted(map(int, input().split()))
    print('Yes' if a == b-1 == c-2 == d-3 else 'No')


if __name__ == '__main__':
    main()