(defun main (&rest argv) (declare (ignorable argv)) (let* ((n (read))) (format t "~d~%" (if (> n 14) (- n 7) -1)))) (main)