Input
1 2 3
Output
YES
Input
2 1 3
Output
YES
Input
3 1 2
Output
YES
Input
1 1 2
Output
NO
Input
-1 -1 -2
Output
NO
Input
-1 -2 -3
Output
YES
Input
-2 -1 -3
Output
YES
Input
-3 -1 -2
Output
YES
Input
-10 0 10
Output
YES
Input
-13 5 -8
Output
NO