module Main where data Input = Input { x :: Int , cs :: [Int] } type Output = Bool parse :: String -> Input parse input = let [_, x] = map read . words . head . lines $ input cs = map read . words . (!! 1) . lines $ input in Input x cs solve :: Input -> Output solve input = let max = maximum $ cs input min = minimum $ cs input in min <= x input && x input <= max render :: Output -> String render True = "Yes" render False = "No" main :: IO () main = interact ( render . solve . parse )