Vũ có \(N\) loại tờ tiền mệnh giá khác nhau, loại tiền thứ \(i\) có trị giá \(A_i\) đồng và số lượng \(B_i\) tờ. Cho trước số nguyên \(X\), bạn hãy lập trình xác định xem có thể quy đổi lượng tiền trị giá \(X\) đồng ra các tờ tiền của Vũ được không?

Input

• Dòng đầu chứa hai số nguyên dương \(N\) và \(X\) \(\left(1\le N\le 50, 1\le X\le 10^4\right)\).
• Dòng thứ \(i\) trong \(N\) dòng tiếp theo chứa hai số nguyên dương \(A_i\) và \(B_i\) \((1\le A_i\le 100, 1\le B_i\le 50)\). Dữ liệu đảm bảo tất cả các giá trị \(A_i\) đều khác nhau đôi một.

Output

• In ra Yes nếu ta có thể quy đổi lượng tiền trị giá \(X\) đồng thành các tờ tiền của Vũ, ngược lại in ra No.

Ví dụ

Sample input 01

2 21
3 3
5 6

Sample output 01

Yes

Giải thích

Ta có thể dùng \(2\) tờ tiền mệnh giá \(3\) đồng và \(3\) tờ tiền mệnh giá \(5\) đồng để quy đổi thành tổng \(2\times 3+3\times 5=21\) đồng.

Sample input 02

2 38
3 3
5 6

Sample output 02

No