问题 N: 我有一个梦想

题目描述

「Tweetuzki 你怎么这么菜啊，打了这么久 CF 还没紫。」
「Emmm…」
「Tweetuzki 你好菜啊，怎么打个 Div2 都能掉分的啊。」
「Emmm…」
「Tweetuzki 你不行啊，这不是傻逼题你怎么没秒啊？」
「Emmm…」
「Tweetuzki，等会有一场 Div2，你赶紧上紫啊。」
「我……尽力吧」
微弱的灯光在漆黑的夜晚里，闪烁得如此明亮。凌乱的英文字母与纷杂的几何图形无序地洒在屏幕上，照映在冥思苦想的 Tweetuzki 的脸庞上。
这是一道很简单的题，样例都通过了，但是没法通过测试数据。枯燥的 Debug 换来的只是一句话 Wrong Answer on Pretest 2。
「我究竟错在哪了……」
寂静的深夜，无助的哭喊。无人应答。
CF-Predictor 早早显示出掉 rating 的标记，随着时间的侵蚀而不断变大。秒针的每一次移动，都如同扎在 Tweetuzki 的心上一般，心痛，却又无可奈何。
「难道我真的像学长说的一样，那么菜，永远上不了紫名吗……」
泪水夺眶而出。
眼前的世界逐渐模糊，又逐渐清晰起来。这回 Tweetuzki 看分明了，是两个数字，两个关键的数字。
「天哪！原来还有他们！」
如梦初醒。
Pretests Passed.
Accepted.
Tweetuzki → Tweetuzki.
Tweetuzki 把这道有纪念意义的题目搬过来了。Tweetuzki 希望这道题的 100 分，能够给在排行榜上争一的你，提供一个有力的援助。
你得到了一个边长为 2n 的正方形。每次操作你可以选择一个边长不为 1 的正方形，将这个正方形十字切开，分成四个完全相同的小正方形。
你需要进行恰好 k 次操作。k 次操作后会形成一种局面。我们称一种局面是合法的，当且仅当存在一条从左下角的正方形到右上角的正方形，所有正方形长度相等的路径。
请你判断是否存在一种合法局面。如果存在，你还需要找出所有操作可以形成的所有合法局面中，路径上正方形边长的最小值。
「学长学长，我终于紫名了！」
「Tweetuzki 你怎么才紫名啊，你好菜啊。」

输入

第一行输入一个正整数t(1≤t≤103)，表示数据组数。
接下来t行，每行输入两个正整数n,k(1≤n≤109;1≤k≤1018)，意义如题目所述。

输出

输出t行，每行输出该组数据的答案。
若k次操作后能找出路径，输出Yes和路径上正方形的最小边长。因为这个边长可能很大，请输出这个边长取关于2的对数（即若答案为2x，输出这个x的值即可）。
若无解，输出No。