#include <cassert>
#include <cmath>
#include <cstdint>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <algorithm>
#include <bitset>
#include <complex>
#include <deque>
#include <functional>
#include <iostream>
#include <limits>
#include <map>
#include <numeric>
#include <queue>
#include <random>
#include <set>
#include <sstream>
#include <string>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <vector>

using namespace std;

using Int = long long;

template <class T1, class T2> ostream &operator<<(ostream &os, const pair<T1, T2> &a) { return os << "(" << a.first << ", " << a.second << ")"; };
template <class T> ostream &operator<<(ostream &os, const vector<T> &as) { const int sz = as.size(); os << "["; for (int i = 0; i < sz; ++i) { if (i >= 256) { os << ", ..."; break; } if (i > 0) { os << ", "; } os << as[i]; } return os << "]"; }
template <class T> void pv(T a, T b) { for (T i = a; i != b; ++i) cerr << *i << " "; cerr << endl; }
template <class T> bool chmin(T &t, const T &f) { if (t > f) { t = f; return true; } return false; }
template <class T> bool chmax(T &t, const T &f) { if (t < f) { t = f; return true; } return false; }
#define COLOR(s) ("\x1b[" s "m")


int N, M, S, T;
vector<int> A, B;

vector<vector<int>> graph;

int main() {
  for (int numCases; ~scanf("%d", &numCases); ) { for (int caseId = 1; caseId <= numCases; ++caseId) {
    scanf("%d%d%d%d", &N, &M, &S, &T);
    --S;
    --T;
    A.resize(M);
    B.resize(M);
    for (int i = 0; i < M; ++i) {
      scanf("%d%d", &A[i], &B[i]);
      --A[i];
      --B[i];
    }
    
    graph.assign(N, {});
    for (int i = 0; i < M; ++i) {
      graph[A[i]].push_back(B[i]);
      graph[B[i]].push_back(A[i]);
    }
    
    vector<int> del(N, 0);
    {
      queue<int> que;
      vector<int> deg(N);
      for (int u = 0; u < N; ++u) {
        deg[u] = graph[u].size();
        if (deg[u] <= 1) {
          que.push(u);
        }
      }
      for (; que.size(); ) {
        const int u = que.front();
        que.pop();
        del[u] = 1;
        for (const int v : graph[u]) {
          if (--deg[v] == 1) {
            que.push(v);
          }
        }
      }
    }
// cerr<<"del = "<<del<<endl;
    
    vector<int> dist[2];
    for (int h = 0; h < 2; ++h) {
      const int src = h ? T : S;
      queue<int> que;
      dist[h].assign(N, -1);
      dist[h][src] = 0;
      que.push(src);
      for (; que.size(); ) {
        const int u = que.front();
        que.pop();
        for (const int v : graph[u]) {
          if (!~dist[h][v]) {
            dist[h][v] = dist[h][u] + 1;
            que.push(v);
          }
        }
      }
// cerr<<"dist("<<src<<", *) = "<<dist[h]<<endl;
    }
    
    int ans = 0;
    if (!~dist[1][S]) {
      ans = -1; goto found;
    } else {
      for (int u = 0; u < N; ++u) {
        if (~dist[0][u] && ~dist[1][u] && dist[0][u] < dist[1][u]) {
          if (del[u]) {
            chmax(ans, 2 * dist[1][u]);
          } else {
            ans = -1; goto found;
          }
        }
      }
    }
   found:{}
    
    printf("Case #%d: ", caseId);
    if (~ans) {
      printf("%d", ans);
    } else {
      printf("SAFE");
    }
    puts("");
  }
#ifndef LOCAL
  break;
#endif
  }
  return 0;
}