#include <stdio.h>

int main() {
    int g, r;
    scanf(" %d %d", &g, &r);

    int ans = 0;
    for (int g1 = 0; g1 <= g; ++g1) {
        for (int g2 = 0; g2 <= (g + 1) / 2; ++g2) {
            for (int g3 = 0; g3 <= (g + 2) / 3; ++g3) {
                for (int gr = 0; gr <= r; ++gr) {
                    int gNeed = g1 + 2 * g2 + 3 * g3 + gr;
                    int cur = 10 * (gr + g3) + 3 * g2 + g1;
                    if (gNeed <= g && cur > ans)
                        ans = cur;
                }
            }
        }
    }

    printf("%d\n", ans);
}