#include <iostream>
using namespace std;
int l, p, v;
int casecnt;
int campDay;
void camp()
{
if (v > p)
{
v -= p; // 20 -= 8
campDay += (p - (p-l)) ;
camp(); // 재귀적으로 계속 누적
}
else
{
p = v;
v = 0;// l은 이제 남은것이 없기때문에 0 으로 처리
if (l < p)
campDay += p - l;
else
campDay += p;
++casecnt;
cout << "Case " << casecnt << ": " << campDay << endl;
campDay = 0;
return;
}
}
int main(void)
{
while (1)
{
cin >> l >> p >> v;
if ((l == 0) && (p == 0) && (v == 0)) return 0;
camp();
}
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgoKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmludCBsLCBwLCB2OwoKaW50IGNhc2VjbnQ7CmludCBjYW1wRGF5OwoKdm9pZCBjYW1wKCkKewoJaWYgKHYgPiBwKQoJewoJCXYgLT0gcDsgLy8gMjAgLT0gOAoJCWNhbXBEYXkgKz0gKHAgLSAocC1sKSkgOwoJCWNhbXAoKTsgLy8g7J6s6reA7KCB7Jy866GcIOqzhOyGjSDriITsoIEKCX0KCWVsc2UKCXsKCQlwID0gdjsKCQl2ID0gMDsvLyBs7J2AIOydtOygnCDrgqjsnYDqsoPsnbQg7JeG6riw65WM66y47JeQIDAg7Jy866GcIOyymOumrAoKCQlpZiAobCA8IHApCgkJCWNhbXBEYXkgKz0gcCAtIGw7CgkJZWxzZQoJCQljYW1wRGF5ICs9IHA7CgoJCSsrY2FzZWNudDsKCQljb3V0IDw8ICJDYXNlICIgPDwgY2FzZWNudCA8PCAiOiAiIDw8IGNhbXBEYXkgPDwgZW5kbDsKCQljYW1wRGF5ID0gMDsKCQlyZXR1cm47Cgl9Cn0KCmludCBtYWluKHZvaWQpCnsKCXdoaWxlICgxKQoJewoJCWNpbiA+PiBsID4+IHAgPj4gdjsKCgkJaWYgKChsID09IDApICYmIChwID09IDApICYmICh2ID09IDApKQlyZXR1cm4gMDsKCgkJY2FtcCgpOwoJfQoKCXJldHVybiAwOwp9