#include <bits/stdc++.h>
int n, t;
long long d[20][11][2][4], ans;
int main() {
  scanf("%d%d", &n, &t);
  for (int i = 1; i < 4; i++) d[1][0][1][i] = i;
  for (int i = 1; i < n; i++)
    for (int j = 0; j <= t; j++)
      for (int k = 0; k < 4; k++)
        for (int l = 1; l < 4; l++) {
          if (k - l >= 0 && j) d[i][j][0][k - l] += d[i - 1][j - 1][1][k];
          if (k + l < 4) d[i][j][1][k + l] += d[i - 1][j][0][k];
          if (k - l >= 0) d[i][j][0][k - l] += d[i - 1][j][0][k];
          if (k + l < 4) d[i][j][1][k + l] += d[i - 1][j][1][k];
        }
  for (int i = 0; i < 4; i++) ans += d[n - 1][t][0][i];
  printf("%lld\n", ans);
  return 0;
}
