The first line contains one single integer .The second line contains integers .The input guarantees that , and .
Output "Yes" if there are 4 integers satisfying the conditions, otherwise output "No".
5 1 2 3 4 5
Yes
5 1 2 4 8 16
No
5 1 3 4 8 9