#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
#include <stdio.h>
#include <stdlib.h>

int main()
{
    int A, B, C;
    scanf("%d %d %d\n", &A, &B, &C);
    if (A + B + C < 10)
    {
        printf("-1");
        return 0;
    }
    else if (A + B < 10)
    {
        printf("%d", A * 300 + B * 350 + (10 - (A + B)) * 400);
        return 0;
    }
    else if (A < 10)
    {
        printf("%d", A * 300 + (10 - A) * 350);
        return 0;
    }
    else
    {
        printf("3000");
    }

    return 0;
}