小明和小刚在玩游戏：小刚将n 个纸片（写有数字） 放在自己的口袋中，小明可以从他的口袋中抽出 4 次纸片，每次抽出纸片后记下纸片上的数字后不再将其放回口袋中，如果这 4 个数字的和恰好是 m，就算小明赢，否则小刚赢。

小明挑战了好几回都没赢，于是想写个程序验证是否有赢的可能性，即是否存在抽取4 次和为m 的方案， 如果存在输出yes，否则输出 no。