#define _GLIBCXX_FILESYSTEM
#include <bits/stdc++.h>
using namespace std;

int main() {

    ios_base::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);

    int n, k;
    cin >> n >> k;
    
    if (k >= 2 || n % 2 == 0) cout << n / 2 << '\n';
    else cout << n / 2 + 1 << '\n';
    
    return 0;

}