#include<stdio.h>
char s[9];n=1023,i,x;main(y){for(*s=78;n&=*s-78?x:~x,gets(s)!=NULL;)for(x=0;scanf("%d",&y);x|=1<<y);for(;n/=2;i++);i=!printf("%d",i);}