背景

W同学是一位非常无敌的同学，一年之前没有人能与W同学抗衡，但是现在，他发现自己在无敌界的地位有所下降，他觉得这样不行，于是他就想找到储存在X学校仓库的无敌核心，借助它的力量使自己达到真正的无敌。现在，W同学知道，X学校的仓库有 n 个位置（编号由 1 到 n ），有 n 位知情人士（知道无敌核心在哪个位置），而且W同学也知道，这 n 位知情人士中，有 a 位自己的支持者， b 位自己的反对者和 c 位路人。现在W同学决定依次询问这些知情者以下三个问题：
1. 无敌核心在第 X 号位置么？
2. 第 X 号位置放着什么东西？
3. 无敌核心在哪个位置？
由于W同学十分无敌，所以每个人都会对这三个问题作出回答，W同学的支持者总是希望W同学能够无敌，W同学的反对者总是希望阻碍W同学的无敌之路，而路人则可能说真话也可能说假话。
现在假设每位知情者都会采用最优策略，试问：W同学是否一定能找到无敌核心？如果能，最少问几个人可以保证一定找到？

输入

一行， 3 个整数，用空格隔开，分别代表W同学的支持者( a )，W同学的反对者( b )和路人( c )。

输出

若W同学可以成功无敌，则输出 2 行，第一行为 Yes ，第二行为W同学最少的询问次数。
若W同学暂时不能无敌，则输出 1 行，内容为 No。

样例

样例输入1

3 1 1

样例输出1

Yes
5

样例输入2

1 1 1

样例输出

No

数据范围

对于100%的数据：
1 <= a <= 32767
0 <= b <= 32767
0 <= c <= 32767

限制

每个测试点 1s, 128MiB