class IsContInt(object):
    def __init__(self):
        pass
    
    def constructor(self, data):
        data = self.str2int(data)
        # self.A = data[0]
        # self.B = data[1]
        # self.C = data[2]
        # self.d = data[3]
        self.data = data.sort()
        
    def run(self):
        self.analysis()
    
    def analysis(self):
        
        for num1, num2 in zip(self.data, self.data[1:]):
            if num1==num2+1:
                continue
            else:
                print("No")
                exit()
        print("Yes")
        
    @staticmethod
    def str2int(data):
        data = map(int, data.split(" "))
        return data
    
    
if __name__=="__main__":
    data = input()
    func = IsContInt()
    func.constructor(data=data)