import Data.Bool
main :: IO ()
main = do
  n <- readLn :: IO Int
  print $ bool (-1) (n - 7) (n >= 15)