#include <iostream>
#include <vector>

using namespace std;

int main() {
	vector<int> ans = { -1, -1, -1, 16, 43, 120, 382, 1236, 4243, 14828, 52996 };

	int t, n, c;
	cin >> t >> n >> c;

	cout << ans[n] << endl;
}