func main()
	var N: int :: cui@input().toInt(&)
	var ans: int :: N < 15 ?(-1, N - 7)
	do cui@print("\{ans}\n")
end func