#include<bits/stdc++.h>
using namespace std;
#define rep(i,n) for(int i = 0; i < int(n); i++)
using ll = long long;

int main(){
	cin.tie(nullptr);
	ios_base::sync_with_stdio(false);
	
	int l,k;
	cin >> l >> k;
	
	int ans = 0;
    int now = l;
	while(now - 2 * k > 0){
		now -= 2*k;
		ans += k;
	}
	
	cout << ans << endl;
	return 0;
}