AT_abc405_a [ABC405A] Is it rated?

AtCoder Regular Contest (ARC) currently has two divisions: Div. $ 1 $ and Div. $ 2 $ . In ARC Div. $ 1 $ , participants whose **rating** is between $ 1600 $ and $ 2999 $ , inclusive, are **rated**. In ARC Div. $ 2 $ , participants whose rating is between $ 1200 $ and $ 2399 $ , inclusive, are rated. You are given positive integers $ R $ and $ X $ . Determine whether a person with rating $ R $ is rated in ARC Div. $ X $ .

The input is given from Standard Input in the following format: > $ R $ $ X $

If a person with rating $ R $ is rated in ARC Div. $ X $ , output `Yes`; otherwise, output `No`.

### Sample Explanation 1 Because $ 2000 $ lies between $ 1600 $ and $ 2999 $ , a person with rating $ 2000 $ is rated in ARC Div. $ 1 $ . ### Sample Explanation 2 Because $ 1000 $ is less than $ 1600 $ , a person with rating $ 1000 $ is not rated in ARC Div. $ 1 $ . ### Sample Explanation 3 Because $ 1500 $ lies between $ 1200 $ and $ 2399 $ , a person with rating $ 1500 $ is rated in ARC Div. $ 2 $ . ### Sample Explanation 4 Because $ 2800 $ exceeds $ 2399 $ , a person with rating $ 2800 $ is not rated in ARC Div. $ 2 $ . ### Constraints - $ 1 \le R \le 4229 $ - $ 1 \le X \le 2 $ - All input values are integers.