const rl = require("readline").createInterface({ input: process.stdin });
var iter = rl[Symbol.asyncIterator]();
const readline = async () => (await iter.next()).value;

void async function () {
  let wang=(await readline()).split(' ').map(i=>+i);
  let tian=(await readline()).split(' ').map(i=>+i);
  wang.sort();
  tian.sort();
  if(wang[0]<tian[1]&&wang[1]<tian[2]){
    console.log('Yes');
  }else{
    console.log('No');
  }
}()

const rl = require("readline").createInterface({ input: process.stdin });

var iter = rl[Symbol.asyncIterator]();

const readline = async () => (await iter.next()).value;

void async function () {

  let wang=(await readline()).split(' ').map(i=>+i);

  let tian=(await readline()).split(' ').map(i=>+i);

  wang.sort();

  tian.sort();

  if(wang[0]<tian[1]&&wang[1]<tian[2]){

    console.log('Yes');

  }else{

    console.log('No');

  }

}()