#include <stdio.h>
#include <string.h>

int main()
{
    int n, min,max, honest;
    char res[10];

    while( scanf("%d", &n) && n )
    {
        honest = 1, min=1, max=10; // 初始化
        while( scanf("%*s%s", &res) && strcmp(res, "on") )
        {
            if( honest )
            {
                if( strcmp(res, "high")==0 )
                    max = n-1;
                else
                    min = n+1;
                if( max<min || min<1 ||max>10 )
                    honest = 0;
            }
            scanf("%d", &n);
        }
        if( !honest || (n<min) || n>(max))
            printf("Stan is dishonest\n");
        else
            printf("Stan may be honest\n");
    }
    return 0;
}