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=