#include<bits/stdc++.h>

using namespace std;
using ll=long long;
#define rep2(i, a, n) for(int i = (a); i < (n); i++)
#define rep(i, n) rep2(i,0,n)

int main(){
  cin.tie(nullptr);ios_base::sync_with_stdio(false);
  int a[3];rep(i,3)cin>>a[i];
  int b[3];rep(i,3)cin>>b[i];
  rep(i,3){
    rep(j,3){
      swap(a[i],b[j]);
      cout<<"a ";rep(k,3)cout<<a[k]; cout<<endl;
      cout<<"b ";rep(k,3)cout<<b[k]; cout<<endl;
      if((a[1]>a[0]&&a[1]>a[2])||(a[1]<a[0]&&a[1]<a[2])){
        cout<<"Yes\n";
        return 0;
      }
      swap(a[i],b[j]);
    }
  }
  cout<<"No\n";
}