#include <bits/stdc++.h>
using namespace std;
int main() {
  int n(0);
  int a(0);
  int b(0);
  scanf("%d %d %d", &n, &a, &b);
  if (a > b) swap(a, b);
  int rounds = static_cast<int>(log2(n));
  int ans = 0;
  --a;
  --b;
  while (a != b) {
    a /= 2;
    b /= 2;
    ++ans;
  }
  if (ans == rounds) {
    printf("Final!");
    return 0;
  }
  printf("%d", ans);
}
