#!/usr/bin/env python3
def main():
    a = sorted(map(int, input().split()))
    if a == list(range(a[0], a[0] + 4)):
        print('Yes')
    else:
        print('No')
if __name__ == "__main__":
    main()