```go
package main

import (
	"bufio"
	"fmt"
	"os"
)

func main() {
	r := bufio.NewReader(os.Stdin)
	var k [3]int
	fmt.Fscan(r, &k[0], &k[1], &k[2])

	for i := 0; i < 3; i++ {
		if k[i] == 1 {
			fmt.Println("YES")
			return
		}
	}

	if 1.0/float64(k[0])+1.0/float64(k[1])+1.0/float64(k[2]) < 1.0 {
		fmt.Println("NO")
		return
	}

	for x1 := 1; x1 <= k[0]; x1++ {
		for x2 := 1; x2 <= k[1]; x2++ {
			for x3 := 1; x3 <= k[2]; x3++ {
				T := x1
				if x2 > T {
					T = x2
				}
				if x3 > T {
					T = x3
				}
				ok := true
				for t := T; t <= T+100; t++ {
					if (t-x1)%k[0] != 0 && (t-x2)%k[1] != 0 && (t-x3)%k[2] != 0 {
						ok = false
						break
					}
				}
				if ok {
					fmt.Println("YES")
					return
				}
			}
		}
	}

	fmt.Println("NO")
}
```