## https://yukicoder.me/problems/no/360

import itertools

def is_kadomatsu(p0, p1, p2):
        p_set = {p0, p1, p2}
        if len(p_set) < 3:
                return False
        
        p_list = list(p_set)
        p_list.sort()

        if p1 == p_list[1]:
            return False
        
        if p_list[0] >= p_list[2]:
            return False
        return True




def main():
    D = list(map(int, input().split()))


    for p in itertools.permutations(D):
        is_ok = True
        for i in range(len(p) - 2):
            p0 = p[i]
            p1 = p[i + 1]
            p2 = p[i + 2]
            if not is_kadomatsu(p0,p1,p2):
                  is_ok = False
                  break
        
        if is_ok:
              print("YES")
              return 
        

    print("NO")








if __name__ == '__main__':
    main()