#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <cstdio>

using namespace std;

int main ()
{
  string str,str2;
  long long caseTes=1;

  while(cin>>str){

    if(str=="0")break;
    cin>>str2;

    size_t found = str2.find(str);

    printf("Instancia %llu\n",caseTes++);

    if (found!=string::npos){
        printf("verdadeira\n");
    }else{
        printf("falsa\n");
    }

    printf("\n");
  }

  return 0;
}