#!/usr/bin/python2
# -*- coding: utf-8 -*-
# †
c, d = map(float, raw_input().split())
if 2*d > 5*c:
    # 2*d = 5*cにする
    c = 2*d / 5
elif 3*d < c:
    # 3*d = cにする
    c = 3*d

res = 1000 * (6*c + 34*d) / 13
print res