#include <bits/stdc++.h>
using namespace std;
#define s(tr) scanf("%d",&tr);
int main(){
	int a[6],ans=0;
	for(int i=1;i<=5;i++) s(a[i]);
	for(int i=1;i<=5;i++) if(a[i]==i) ans++;
	if(ans==3) 
	printf("Yes");
	else 
	printf("No");
	return 0;
}