#include <stdio.h>
int teilen(int x, int y, int *r)
{
    int ret=0;
    *r = x;
 
 
    if(x>=y)
    {
        ret=(1+teilen(x-y, y, r));
    }
 
    return ret;
}

int main(void) {
	int r, d = teilen(13,5,&r);
	printf("%d REST %d",d,r);
	return 0;
}