(defvar N)
(setq N (parse-integer (read-line)))

(defvar TI)
(defvar S)
(defvar c)
(defvar len)
(defparameter OK 0)
(defparameter NG 0)
(loop for line = (read-line nil nil) while line do
      (setq line (read-from-string (concatenate 'string "(" line ")")))
      (setq TI (nth 0 line))
      (setq len  (length (string (nth 1 line))))


       (setq c (floor (* TI 12) 1000))
       (setq OK (+ OK (min len c)))
       (setq NG (+ NG (- len (min len c))))
)
(format 't "~d ~d~%" OK NG)