a[2],s,i;main(k){for(;k=~getchar();k+11?a[i]=a[i]*2-k%2*5-a[i]%4:scanf("%d\n",&s,i++));i=!puts(*a%4==a[1]%4&&s|*a==a[1]&&s-1|(*a^a[1]^20&&*a-a[1])?"FAILURE":"SUCCESS");}