<?php
$a = trim(fgets(STDIN));
$b = trim(fgets(STDIN));
$c = trim(fgets(STDIN));
$normal = ceil($a/$b);
$campaign = ceil($a/$c);
echo ($normal / $campaign).PHP_EOL;
if ( ($normal / $campaign) >= 1.5 ) {
	echo "YES".PHP_EOL;
}
else {
	echo "NO".PHP_EOL;
}