Quang Ha Van Anh, crush của Amous, đã bị nguyendanghau2006 bắt làm con tin, Amous phải hoàn thành thách thức của nguyendanghau2006 đưa ra thì crush anh mới được tự do. Thử thách của Amous 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 đá, Amous có thể đặt ở \(1\) trong \(2\) chiếc đĩa hoặc không sử dụng. Vấn đề quan trọng là Amous 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ì Amous sẽ được crush hôn vào má đấy. Hãy giúp Amous nhé!

INPUT:

• Dòng \(1\) gồm \(2\) số \(n\) và \(m\ (n\leq 25,\ 0 < m\leq 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\)

SAMPLE INPUT1:

3 2
1 3 9

SAMPLE OUTPUT1:

YES
2

SAMPLE INPUT2:

3 1
1 1 1

SAMPLE OUTPUT2:

YES
12

SAMPLE INPUT3:

3 5
2 4 6

SAMPLE OUTPUT3:

NO

• Giải thích vd1: Có thể đặt cục nặng \(3\) vào đĩa \(1\), đặt con voi và cục nặng \(1\) vào đĩa \(2\) và ngược lại