#include <stdio.h>
#include <string.h>
#include <stdlib.h>
int main()
{
int n, m, k;
int i,j;
while(scanf("%d,%d,%d", &n, &m, &k) == 3)
{
char * src = (char *)malloc(n);
char * dest = (char *)malloc(n);
memset(src,'w', m);
memset(src + m, 'b', n-m);
for(i = 0; i < k; i++)
{
for(j = 0; j < n; j++)
{
if(src[j] == src[(j+1)%n])
dest[j] = 'b';
else
dest[j] = 'w';
}
strcpy(src, dest);
}
int num = 0;
for(i = 0; i < n; i++)
{
if(src[i] == 'w') num++;
}
printf("%d,%d,%d: %d\n", n, m, k, num);
}
return 0;
}