/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */

/* 
 * File:   main.cpp
 * Author: cteam014
 *
 * Created on October 20, 2018, 9:24 AM
 */

#include <iostream>
#include <map>

using namespace std;

/*
 * 
 */
int main(int argc, char** argv) {
    ios_base::sync_with_stdio(false);
    
    map<string,map<string,map<string,int>>> lines;
    
    lines[":::"][":o:"][":::"] = 1;
    lines["o::"][":::"]["::o"] = 2;
    lines["::o"][":::"]["o::"] = 2;
    lines["o::"][":o:"]["::o"] = 3;
    lines["::o"][":o:"]["o::"] = 3;
    lines["o:o"][":::"]["o:o"] = 4;
    lines["o:o"][":o:"]["o:o"] = 5;
    lines["ooo"][":::"]["ooo"] = 6;
    lines["o:o"]["o:o"]["o:o"] = 6;
    
    string line1, line2, line3;
    
    cin >> line1;
    cin >> line2;
    cin >> line3;
    
    if (lines.count(line1)==0 || lines[line1].count(line2)==0 ||lines[line1][line2].count(line3)==0){
        cout<< "unknown"<<endl;
        return 0;
    }
    
    cout<<lines[line1][line2][line3]<<endl;
    

    return 0;
}