(defun main (&rest argv) (declare (ignorable argv)) (let* ((a (read)) (b (read)) (c (read))) (format t "~a~%" (if (>= (* 2 (floor (1- (+ a b)) b)) (* 3 (floor (1- (+ a c)) c))) "YES" "NO")))) (main)