main = do
	line <- getLine
	let a = read . (!! 0) . words $ line :: Int
	let b = read . (!! 1) . words $ line :: Int
	let c = read . (!! 2) . words $ line :: Int
	putStrLn $ ans a b c

ans a b c
	| a < b && b < c = "Yes"
	| otherwise = "No"

--main = do
--	line <- getLine
--	let a = read . head . words $ line :: Int
--	let b = read . last . words $ line :: Int
--	putStrLn (show (a * b) ++ " " ++ show (a * 2 + b * 2))