import Data.List (sort, group)

solve :: [[Int]] -> Int -> Bool
solve a n =
    case length a of
        1 -> k' == n - 1 || 2 * k' <= n
          where k' = a !! 0 !! 0
        2 -> k' + 1 == k && k <= n && y > 0 && x + y == k && x + 2 * y <= n
               where k' = a !! 0 !! 0
                     k  = a !! 1 !! 0
                     x  = length (a !! 0)
                     y  = k - x
        otherwise -> False

main = do
    n <- readLn :: IO Int
    a <- group . sort . map read . words <$> getLine :: IO [[Int]]
    putStrLn $ if solve a n then "Yes" else "No"