using System;
using System.Globalization;
class Program
{
static void Main()
{
// 1) Read x
string line = Console.ReadLine();
if (line == null)
{
// no input at all – you can choose to print an error or just exit
Console.WriteLine("NO");
return;
}
line = line.Trim().Replace(',', '.');
if (!double.TryParse(line, NumberStyles.Any, CultureInfo.InvariantCulture, out double x))
{
// parsing failed — decide on a default
Console.WriteLine("NO");
return;
}
// 2) Read expr index
line = Console.ReadLine();
if (line == null || !int.TryParse(line.Trim(), out int expr))
{
Console.WriteLine("NO");
return;
}
const double eps = 1e-6;
bool result;
switch (expr)
{
case 1:
// 6*x - 10.2 == 4*x - 2.2
result = Math.Abs((6 * x - 10.2) - (4 * x - 2.2)) < eps;
break;
case 2:
// 15 - (3*x - 3) == 5 - 4*x
result = Math.Abs((15 - (3 * x - 3)) - (5 - 4 * x)) < eps;
break;
case 3:
// 2*(x - 0.5) + 1 == 9
result = Math.Abs((2 * (x - 0.5) + 1) - 9) < eps;
break;
default:
// out‐of‐range expr — treat as NO (or handle as error)
result = false;
break;
}
Console.WriteLine(result ? "YES" : "NO");
}
}
dXNpbmcgU3lzdGVtOwp1c2luZyBTeXN0ZW0uR2xvYmFsaXphdGlvbjsKCmNsYXNzIFByb2dyYW0KewogICAgc3RhdGljIHZvaWQgTWFpbigpCiAgICB7CiAgICAgICAgLy8gMSkgUmVhZCB4CiAgICAgICAgc3RyaW5nIGxpbmUgPSBDb25zb2xlLlJlYWRMaW5lKCk7CiAgICAgICAgaWYgKGxpbmUgPT0gbnVsbCkgCiAgICAgICAgewogICAgICAgICAgICAvLyBubyBpbnB1dCBhdCBhbGwg4oCTIHlvdSBjYW4gY2hvb3NlIHRvIHByaW50IGFuIGVycm9yIG9yIGp1c3QgZXhpdAogICAgICAgICAgICBDb25zb2xlLldyaXRlTGluZSgiTk8iKTsKICAgICAgICAgICAgcmV0dXJuOwogICAgICAgIH0KCiAgICAgICAgbGluZSA9IGxpbmUuVHJpbSgpLlJlcGxhY2UoJywnLCAnLicpOwogICAgICAgIGlmICghZG91YmxlLlRyeVBhcnNlKGxpbmUsIE51bWJlclN0eWxlcy5BbnksIEN1bHR1cmVJbmZvLkludmFyaWFudEN1bHR1cmUsIG91dCBkb3VibGUgeCkpCiAgICAgICAgewogICAgICAgICAgICAvLyBwYXJzaW5nIGZhaWxlZCDigJQgZGVjaWRlIG9uIGEgZGVmYXVsdAogICAgICAgICAgICBDb25zb2xlLldyaXRlTGluZSgiTk8iKTsKICAgICAgICAgICAgcmV0dXJuOwogICAgICAgIH0KCiAgICAgICAgLy8gMikgUmVhZCBleHByIGluZGV4CiAgICAgICAgbGluZSA9IENvbnNvbGUuUmVhZExpbmUoKTsKICAgICAgICBpZiAobGluZSA9PSBudWxsIHx8ICFpbnQuVHJ5UGFyc2UobGluZS5UcmltKCksIG91dCBpbnQgZXhwcikpCiAgICAgICAgewogICAgICAgICAgICBDb25zb2xlLldyaXRlTGluZSgiTk8iKTsKICAgICAgICAgICAgcmV0dXJuOwogICAgICAgIH0KCiAgICAgICAgY29uc3QgZG91YmxlIGVwcyA9IDFlLTY7CiAgICAgICAgYm9vbCByZXN1bHQ7CgogICAgICAgIHN3aXRjaCAoZXhwcikKICAgICAgICB7CiAgICAgICAgICAgIGNhc2UgMToKICAgICAgICAgICAgICAgIC8vIDYqeCAtIDEwLjIgPT0gNCp4IC0gMi4yCiAgICAgICAgICAgICAgICByZXN1bHQgPSBNYXRoLkFicygoNiAqIHggLSAxMC4yKSAtICg0ICogeCAtIDIuMikpIDwgZXBzOwogICAgICAgICAgICAgICAgYnJlYWs7CiAgICAgICAgICAgIGNhc2UgMjoKICAgICAgICAgICAgICAgIC8vIDE1IC0gKDMqeCAtIDMpID09IDUgLSA0KngKICAgICAgICAgICAgICAgIHJlc3VsdCA9IE1hdGguQWJzKCgxNSAtICgzICogeCAtIDMpKSAtICg1IC0gNCAqIHgpKSA8IGVwczsKICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICAgICBjYXNlIDM6CiAgICAgICAgICAgICAgICAvLyAyKih4IC0gMC41KSArIDEgPT0gOQogICAgICAgICAgICAgICAgcmVzdWx0ID0gTWF0aC5BYnMoKDIgKiAoeCAtIDAuNSkgKyAxKSAtIDkpIDwgZXBzOwogICAgICAgICAgICAgICAgYnJlYWs7CiAgICAgICAgICAgIGRlZmF1bHQ6CiAgICAgICAgICAgICAgICAvLyBvdXTigJBvZuKAkHJhbmdlIGV4cHIg4oCUIHRyZWF0IGFzIE5PIChvciBoYW5kbGUgYXMgZXJyb3IpCiAgICAgICAgICAgICAgICByZXN1bHQgPSBmYWxzZTsKICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgIH0KCiAgICAgICAgQ29uc29sZS5Xcml0ZUxpbmUocmVzdWx0ID8gIllFUyIgOiAiTk8iKTsKICAgIH0KfQo=