C语言中换汽水喝的问题

**你有20块钱，一块钱可以换一瓶汽水，两个空瓶可以换一瓶汽水，问20块钱可以换几瓶汽水？

法一：
empty:空瓶数大于1才能够换汽水
total：总的能喝的汽水数

int main()
{
	int money = 0;
	int total = 0;
	int empty = 0;
	scanf("%d", &money);
	total = money;
	empty = money;
	while (empty > 1)
	{
		total = total + empty / 2;
		empty = empty / 2 + empty % 2;
	}
	printf("%d \n", total);

	return 0;
}

法二：
这个是总结的规律：total = 2 * money - 1

int main()
{
	int total = 0;
	int money = 0;
	scanf("%d", &money);
	if (money <= 0)
	{
		printf("喝不了饮料\n");
	}
	else
	{
		total = 2 * money - 1;
	}
	printf("%d \n", total);
	return 0;
}