科科打牌
Description
科科最近迷上了打斗地主，科科打斗地主非常喜欢打顺子。顺子是指必须是连续的5张牌，比如 1 2 3 4 5 就是个顺子但是1 2 3 5 6就不是，因为3 5 是不连续的。
假设这副牌中只有1~9号牌，现在科科手中有n张牌，科科想知道这n张牌中能不能打出顺子。如果能的话就输出YES，不能的话就输出NO。
Input Format
输入一共两行
第一行：一个正整数n，表示有n张扑克。
第二行：n个整数。
Output Format
输出共一行，输出YES或者NO
8
3 6 5 2 1 7 8 9
YES