#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, t;
  cin >> n >> t;
  int f[21][11] = {
      {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
      {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
      {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
      {0, 14, 0, 0, 0, 0, 0, 0, 0, 0, 0},
      {0, 22, 0, 0, 0, 0, 0, 0, 0, 0, 0},
      {0, 16, 70, 0, 0, 0, 0, 0, 0, 0, 0},
      {0, 6, 232, 0, 0, 0, 0, 0, 0, 0, 0},
      {0, 1, 380, 353, 0, 0, 0, 0, 0, 0, 0},
      {0, 0, 396, 1786, 0, 0, 0, 0, 0, 0, 0},
      {0, 0, 284, 4500, 1782, 0, 0, 0, 0, 0, 0},
      {0, 0, 142, 7414, 12122, 0, 0, 0, 0, 0, 0},
      {0, 0, 48, 8849, 41160, 8997, 0, 0, 0, 0, 0},
      {0, 0, 10, 8028, 92226, 76878, 0, 0, 0, 0, 0},
      {0, 0, 1, 5658, 152140, 328222, 45425, 0, 0, 0, 0},
      {0, 0, 0, 3112, 195420, 928494, 467292, 0, 0, 0, 0},
      {0, 0, 0, 1322, 201744, 1947581, 2402980, 229347, 0, 0, 0},
      {0, 0, 0, 422, 170444, 3213988, 8205152, 2758896, 0, 0, 0},
      {0, 0, 0, 96, 118912, 4322956, 20852648, 16594160, 1157954, 0, 0},
      {0, 0, 0, 14, 68640, 4846524, 41920210, 66357900, 15946870, 0, 0},
      {0, 0, 0, 1, 32632, 4594423, 69183464, 197939352, 109824208, 5846414, 0},
      {0, 0, 0, 0, 12628, 3715462, 96046590, 468541040, 503245466, 90700276,
       0}};
  cout << f[n][t] << endl;
}
