#include int main(void){ int all,bite; scanf("%d%d",&all,&bite); int count = 0; while(all > bite*2){ all -= bite*2; count++; } printf("%d",bite*count); }