open System type Sol() = member this.Solve() = let N = stdin.ReadLine() |> int (if N >= 15 then N-7 else -1 ) |> printfn "%d" let mySol = new Sol() mySol.Solve()