有一户小区有 n 户人家，每户人家养了一条狗。有一天，小区接到防疫站的通知，小区内有病狗。所有的小区居民都必须将自己的狗带回自己的家中。每户居民都可以观察到其他居民的狗，并准确判断哪些狗是病狗，但是却不能正确判断自己家的狗是否得病。

但是，小区居民之间相互无法沟通。小区规定，如果断定自家的狗是病狗，必须当天开枪将其击毙。每户居民都是极其理智的。

到了第 k 天，小区传出枪声。

问：有多少条狗被击毙？

输入包含两行，每一行一个整数，分别代表 n 户人家和第 k 天。n, k (1 \le n, k \le 5000)

输出一行，一个整数，表示被击毙的狗的数量。