#include<bits/stdc++.h>
using namespace std;
int a[1000],n,c;
int main(){
n=3;
for(int i=1;i<=n;i++){
cin>>a[i];
}
for(int i=1;i<=n-1;i++){
for(int j=i;j<=n-i;j++){
if(a[j]>a[j+1])swap(a[j],a[j+1]);
}
}
for(int i=1;i<=3;i++){
//cout<<a[i];
if(a[i]+1==a[i+1])c++;
}
if(c==2)cout<<"TRUE";
else cout<<"FALSE";
return 0;
}
/**************************************************************
Problem: 1041
User: chenjingqi
Language: C++
Result: Wrong Answer
****************************************************************/