每天，巧克力在它的许多形式上被全世界数百万人分享。它是一个真正普遍的糖果，实际上在世界上每个国家都能得到。
　　你发现唯一比吃巧克力更好的事情是把它分享给朋友。不幸的是，你的朋友非常挑剔，有着不同的胃口：有的喜欢让你提供较多的巧克力，而其他的喜欢让你提供较少的巧克力。你发现当他们的要求可以相互叠加时，这个事情就变得越来越难决断。现在是写一个程序来一次性完全解决这个问题的时间！
　　你的巧克力是矩形的。巧克力由同样大小的矩形块组成。你可以沿着巧克力中行或者列的分割线将巧克力分成两块来分享你的巧克力。你可以重复地用同样手段将分成的小块继续分割。你的每个朋友坚持要得到巧克力中的一个矩形部分，这个部分包含一个确定地小块数。你也有些坚持心：如果这块巧克力能全部分给你的朋友，不剩下任何部分，你才会分割你的巧克力。
　　例如图9表示将一个由3×4个小块组成巧克力块分割3次，分成各自包含6、3、2、1个小块的4部分的一种方法。（这相当于输入样例中第一个测试数据。）

输入数据包含多组测试数据，每组测试数据描述一个要分享的巧克力块。每组测试数据的第一行包含一个整数n(1<=n<=15)，表示巧克力需要分割成的块数。第二行包含两个整数x、y，表示巧克力块的两个方向上的长度。第三行包含n个正整数，表示n个部分各自需要包含的小块数。
　　输入数据终止于只包含整数0的一行。

　对于每组测试数据，先输出它的测试点编号。然后输出将巧克力按照指定的方法分割是否有可能：如果可能，输出“Yes”，否则输出“No”。按照输出样例中的格式输出。

数据规模和约定

　　对于40%的数据，1<=n<=5，1<=x,y<=10；
　　对于全部的数据，1<=n<=15，1<=x,y<=100，输入文件保证测试点个数不超过10。

蓝桥杯