#include <iostream>
#include <map>
#include <string>

using namespace std;

int main(int argc, char * * argv) {
	map<string, int> mm;
	mm.insert({"::: :0: :::", 1});
	
	mm.insert({"0:: ::: ::0", 2});
	mm.insert({"::0 ::: 0::", 2});
	
	mm.insert({"0:: :0: ::0", 3});
	mm.insert({"::0 :0: 0::", 3});

	mm.insert({"0:0 ::: 0:0", 4});

	mm.insert({"0:0 :0: 0:0", 5});

	mm.insert({"0:0 0:0 0:0", 6});
	mm.insert({"000 ::: 000", 6});


	string res;
	string line;
	cin>>line;
	res=line+" ";
	cin>>line;
	res+=line+" ";
	cin>>line;
	res+=line;

	if(mm.find(res)==mm.end()) cout<<"unknown";
	else	cout<<mm[res];
	
	cout<<endl;
	return 0;
}