for(;;print(l-32?j?j+' '+i:'':'9 10'))for(l=readline(i=s='').replace(/\w+ ?/g,function(c)c[5]?5:c>'C'|2);i<182>(j=0xFCA9653>>4*s.search(l)&15);s+=i%5?a:a+2)a=++i%3?'':3