小明手上有一些小木棍，它们长短不一，小明想用这些木棍拼出一个等边三角形，并且每根木棍都要用到。 例如，小明手上有长度为 $1$，$2$，$3$，$3$ 的 $4$ 根木棍，他可以让长度为$1，2$ 的木棍组成一条边，另外 $2$ 根分别组成 $2$ 条边，拼成一个边长为 $3$ 的等边三角形。小明希望你提前告诉他能不能拼出来，免得白费功夫。

输入格式

首先输入一个整数 $n(3≤n≤10)$，表示木棍数量，接下来输入 $n$ 根木棍的长度 $p_i(1≤p_i≤10000)$。

输出格式

如果小明能拼出等边三角形，输出"yes"，否则输出"no"。

格式说明输出时每行末尾的多余空格，不影响答案正确性

输入、输出要求要求使用「文件输入、输出」的方式解题，输入文件为 triangle.in，输出文件为 triangle.out

样例输入1

5
1 2 3 4 5

样例输出1

yes

样例输入2

4
1 1 1 1

样例输出2

no