#include <bits/stdc++.h>
using namespace std;

#define sz(x) (int)(x).size()
#define all(x) (x).begin(), (x).end()
#define rall(x) (x).rbegin(), (x).rend()
#define pb push_back
#define x first
#define y second
#define FOR(i, a, b) for(int i = (a); i < (b); i++)
#define RFOR(i, a, b) for(int i = (a) - 1; i >= (b); i--)

typedef long long ll;
typedef double db;
typedef long double LD;
typedef pair<int, int> pii;
typedef pair<db, db> pdd;
typedef pair<ll, ll> pll;


int solve()
{
	int n;
	if (!(cin >> n))
		return 1;
	
	vector<int> a(n);
	FOR (i, 0, n)
		cin >> a[i];
	
	int ans1 = 0, ans2 = 0;
	if (n == 1)
	{
		FOR (i, 1, 7)
		{
			FOR (j, 1, 7)
			{
				FOR (k, 1, 7)
				{
					vector<int> curr = a;
					curr.pb(i);
					curr.pb(j);
					curr.pb(k);
					set<int> s(all(curr));
					if (sz(s) == 4)
						ans1++;
					else
						ans2++;
				}
			}
		}
	}
	else if (n == 2)
	{
		FOR (i, 1, 7)
		{
			FOR (j, 1, 7)
			{		
				vector<int> curr = a;
				curr.pb(i);
				curr.pb(j);
				set<int> s(all(curr));
				if (sz(s) == 4)
					ans1++;
				else
					ans2++;				
			}
		}
	}
	else
	{
		FOR (i, 1, 7)
		{
			vector<int> curr = a;
			curr.pb(i);
			set<int> s(all(curr));
			if (sz(s) == 4)
				ans1++;
			else
				ans2++;	
		}
	}
	cout << ans1 << ' ' << ans2 << '\n';
	
	return 0;
}

int32_t main()
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	
	int TET = 1e9;
	//cin >> TET;
	for (int i = 1; i <= TET; i++)
	{
		if (solve())
		{
			break;
		}
		#ifdef ONPC
			cerr << "_____________________________\n";
		#endif
	}
	#ifdef ONPC
		cerr << "\nfinished in " << clock() * 1.0 / CLOCKS_PER_SEC << " sec\n";
	#endif
	return 0;
}