huyhau6a2 được nhận lời thách thức của nguyendanghau2006. Thử thách của huyhau6a2 là cân \(1\) con voi cân nặng \(m\)(chỉ nguyendanghau2006 biết được), và chỉ được sử dụng \(n\) viên đá. Cậu cũng được cho một chiếc cân Rô-béc-van gồm \(2\) chiếc đĩa ở \(2\) bên. Với mỗi viên đá, huyhau6a2 có thể đặt ở \(1\) trong \(2\) chiếc đĩa hoặc không sử dụng. Vấn đề quan trọng là huyhau6a2 cần xác định được cân nặng của con voi nên muốn nhờ các bạn tính xem có thể xác định được cân nặng của con voi hay không, nếu có thì hãy đếm số cách có thể cân được con voi đó(xem vd để hiểu rõ hơn). Nếu hoàn thành thử thách thì huyhau6a2 sẽ được tặng luôn con voi đó. Hãy giúp huyhau6a2 nhé!

Input

• Dòng \(1\) gồm \(2\) số \(n\) và \(m\) \((n\le 15, 0\le m\le 10^{16})\).
• Dòng \(2\) gồm \(n\) số chỉ cân nặng của mỗi viên đá, lớn hơn \(0\) và nặng
  không quá \(10^{14}\).

Output

• Nếu có thể, dòng \(1\) xuất YES, dòng \(2\) chỉ số cách cân, không thì
  xuất NO.

Example

 3 2
1 3 9

YES
2