(define n (read))
(define k (read))
(print (+(* 50 n)(inexact->exact(floor (+(/(* 50 n)(+ 0.8 (* 0.2 k)))0.000001)))))