#include <stdio.h>
#include <stdlib.h>
#include <string.h>

typedef struct {
    int num;
    char binary[32];
} BinaryPair;

void toBinary(int num, char* binary) {
    if (num == 0) {
        strcpy(binary, "0");
        return;
    }
    
    int len = 0;
    int temp = num;
    while (temp > 0) {
        temp /= 2;
        len++;
    }
    
    binary[len] = '\0';
    for (int i = len - 1; i >= 0; i--) {
        binary[i] = (num % 2) + '0';
        num /= 2;
    }
}

int compare(const void* a, const void* b) {
    BinaryPair* pairA = (BinaryPair*)a;
    BinaryPair* pairB = (BinaryPair*)b;
    
    char concat1[64], concat2[64];
    strcpy(concat1, pairA->binary);
    strcat(concat1, pairB->binary);
    strcpy(concat2, pairB->binary);
    strcat(concat2, pairA->binary);
    
    int len1 = strlen(concat1);
    int len2 = strlen(concat2);
    
    if (len1 != len2) {
        return len2 - len1;
    }
    return strcmp(concat2, concat1);
}

int binaryToDecimal(char* binary) {
    int result = 0;
    for (int i = 0; binary[i]; i++) {
        result = result * 2 + (binary[i] - '0');
    }
    return result;
}

int solution(int* nums) {
    BinaryPair pairs[3];
    
    // Create pairs
    for (int i = 0; i < 3; i++) {
        pairs[i].num = nums[i];
        toBinary(nums[i], pairs[i].binary);
    }
    
    // Sort pairs
    qsort(pairs, 3, sizeof(BinaryPair), compare);
    
    // Concatenate binary strings
    char resultBinary[96] = "";
    for (int i = 0; i < 3; i++) {
        strcat(resultBinary, pairs[i].binary);
    }
    
    return binaryToDecimal(resultBinary);
}

int main() {
    char line[100];
    fgets(line, sizeof(line), stdin);
    
    // Parse [a,b,c] format
    int nums[3];
    sscanf(line, "[%d,%d,%d]", &nums[0], &nums[1], &nums[2]);
    
    printf("%d\n", solution(nums));
    return 0;
}