#include <bits/stdc++.h>
using namespace std;
long long GCD(long long a, long long b) {
  if (b == 0)
    return a;
  else
    return GCD(b, a % b);
}
int main() {
  ios::sync_with_stdio(false);
  cin.tie(NULL);
  long long n, k;
  cin >> n >> k;
  if (k == n) {
    cout << "0 0\n";
    return 0;
  } else if (k == 0) {
    cout << "0 0\n";
    return 0;
  } else {
    cout << "1 " << min(2 * k, n - k) << endl;
  }
  return 0;
}
