Once Vasya needed to transport m goats and m wolves from riverbank to the other as quickly as possible. The boat can hold n animals and Vasya, in addition, he is permitted to put less than n animals in the boat. If in one place (on one of the banks or in the boat) the wolves happen to strictly outnumber the goats, then the wolves eat the goats and Vasya gets upset. When Vasya swims on the boat from one shore to the other, he must take at least one animal to accompany him, otherwise he will get bored and he will, yet again, feel upset. When the boat reaches the bank, first all the animals get off simultaneously, and then the animals chosen by Vasya simultaneously get on the boat. That means that at the moment when the animals that have just arrived have already got off and the animals that are going to leave haven't yet got on, somebody might eat someone. Vasya needs to transport all the animals from one river bank to the other so that nobody eats anyone and Vasya doesn't get upset. What is the minimal number of times he will have to cross the river?

Input

The first line contains two space-separated numbers m and n (1 ≤ m, n ≤ 105) — the number of animals and the boat's capacity.

Output

If it is impossible to transport all the animals so that no one got upset, and all the goats survived, print -1. Otherwise print the single number — how many times Vasya will have to cross the river.

Examples

Input

3 2


Output

11


Input

33 3


Output

-1

Note

The first sample match to well-known problem for children.
#include <bits/stdc++.h>
using namespace std;
struct S {
  int a, b, c;
  S(int a, int b, int c) : a(a), b(b), c(c) {}
  S() {}
};
int m, n, cur;
int d[2][3][100035];
set<int> se[2][3];
queue<S> q;
bool aCunningPlan() { return m - cur + 1 <= n; }
int updVal;
void upd(int a, int b, int c) {
  if (d[a][b][c] == -1) {
    se[a][b].erase(c);
    d[a][b][c] = updVal;
    if (a != 1 || b != 0 || c != m) {
      q.push(S(a, b, c));
    }
  }
}
int main() {
  scanf("%d%d", &m, &n);
  for (int i = 0; i < (int)(2); ++i)
    for (int j = 0; j < (int)(3); ++j)
      for (int k = 0; k < (int)(m + 1); ++k) d[i][j][k] = -1;
  d[0][0][0] = 0;
  q.push(S(0, 0, 0));
  for (int i = 0; i < (int)(2); ++i)
    for (int j = 0; j < (int)(3); ++j)
      for (int k = 0; k < (int)(m + 1); ++k)
        if (i || j || k) se[i][j].insert(k);
  while (!q.empty()) {
    S s = q.front();
    q.pop();
    updVal = d[s.a][s.b][s.c] + 1;
    if (s.a == 0) {
      if (s.b == 0) {
        vector<int> v;
        for (auto it = se[1][0].lower_bound(s.c + 1);
             it != se[1][0].end() && *it <= min(s.c + n / 2, m); ++it) {
          v.push_back(*it);
        }
        for (int nc : v) upd(1, 0, nc);
        v.clear();
        if (m - s.c <= n) upd(1, 1, s.c);
        if (s.c == 0) {
          for (auto it = se[1][2].lower_bound(s.c + 1);
               it != se[1][2].end() && *it <= min(s.c + n, m); ++it) {
            v.push_back(*it);
          }
          for (int nc : v) upd(1, 2, nc);
        }
      } else if (s.b == 1) {
        vector<int> v;
        for (auto it = se[1][1].lower_bound(s.c + 1);
             it != se[1][1].end() && *it <= min(s.c + n, m - 1); ++it) {
          v.push_back(*it);
        }
        for (int nc : v) upd(1, 1, nc);
        if (s.c + n >= m) upd(1, 0, m);
      } else {
        vector<int> v;
        for (auto it = se[1][2].lower_bound(s.c + 1);
             it != se[1][2].end() && *it <= min(s.c + n, m); ++it) {
          v.push_back(*it);
        }
        for (int nc : v) upd(1, 2, nc);
        if (m - s.c + m <= n) upd(1, 0, m);
        if (m <= n) upd(1, 1, m);
        if (s.c <= n) upd(1, 0, s.c);
      }
    } else {
      if (s.b == 0) {
        vector<int> v;
        for (auto it = se[0][0].lower_bound(max(0, s.c - n / 2));
             it != se[0][0].end() && *it <= s.c - 1; ++it) {
          v.push_back(*it);
        }
        for (int nc : v) upd(0, 0, nc);
        if (s.c <= n) upd(0, 2, s.c);
      } else if (s.b == 1) {
        vector<int> v;
        for (auto it = se[0][1].lower_bound(max(0, s.c - n));
             it != se[0][1].end() && *it <= s.c - 1; ++it) {
          v.push_back(*it);
        }
        for (int nc : v) upd(0, 1, nc);
        if (m - s.c <= n) upd(0, 0, s.c);
      } else {
        vector<int> v;
        for (auto it = se[0][2].lower_bound(max(1, s.c - n));
             it != se[0][2].end() && *it <= s.c - 1; ++it) {
          v.push_back(*it);
        }
        for (int nc : v) upd(0, 2, nc);
      }
    }
  }
  printf("%d\n", d[1][0][m]);
  return 0;
}
