package main

import (
	"fmt"
	"strings"
)

func main() {
	var sb, sa string
	var n int
	_, _ = fmt.Scan(&sb, &n, &sa)

	d := 0 // 違いの数
	for i, c := range sb {
		if string(c) != string(sa[i]) {
			d++
		}
	}

	if d%2 != 0 { // 数が変わってるなら成功
		fmt.Println("SUCCESS")
		return
	}

	if d == 2 { // 違いがあって
		if sb[1] == sa[1] { // 真ん中が一致なら2手、不一致なら1手で正しい位置にできる
			n -= 2
		} else {
			n -= 1
		}
	}
	if n < 0 { // 元に戻したときに移動可能な手数がマイナスなら成功
		fmt.Println("SUCCESS")
		return
	}

	switch strings.Count(sb, string(sb[1])) { // 真ん中の文字の個数
	case 1: // 両端が一致し、真ん中だけ違う
		if n%2 == 0 {
			fmt.Println("FAILURE")
		} else {
			fmt.Println("SUCCESS")
		}
	case 2: // 右2つか、左2つが一致し、残りの1つが違う
		fmt.Println("FAILURE")
	case 3: // 全部一緒
		fmt.Println("FAILURE")
	}
}