Problem:
失われし数

時は3xxx年、高度に発達した文明は停滞期を迎えていた。歴史家たちはこの状況を打開しようと過去の叡智を学ぶことにした。注目したのはコンピュータ創世期の天才が残した資料である。この資料には計算式が書かれておりその計算結果が知りたいのだが、残念ながらその一部の文字が薄れて読めなくなっている。仕方がないので計算結果としてありえる最も大きい数を求めることにした。

計算式は2進数で書かれており、演算は足し算・引き算・掛け算の3種類である。括弧も用いられているが括弧内が数字のみであることはない。正確には以下のBNFで定義された文法を満たしている必要がある。

<expression> ::= <number> | <expression> <operation> <expression>
| ( <expression> <operation> <expression> )
<number> ::= <digit> | <number> <digit>
<operation> ::= + | - | *
<digit> ::= 0 | 1

当時のコンピュータの計算能力の限界により、数字は0以上210未満の整数であり計算中もこの範囲を出ることはない。ただし計算は括弧内を先に行い、掛け算は足し算・引き算より先に行う。それ以外の場合は左から順に計算する。

Input

入力は1行からなり、解読すべき数式が1つ与えられる。数式は1文字以上100文字以下である。1つの数式について最大5文字が読めなくなっていて、「.」で表現されている。与えられる数式に含まれる文字は01+-*().のいずれかである。

Constraints

数式は1文字以上100文字以下

改行を除くすべての文字は01+-*().のいずれか

.の個数は5個以下

Output

元の数式として考えられるものの内、計算結果が最大となるものを求め、計算結果を10進法で出力せよ。読めなくなっている文字をどのように埋めても元の数式と考えられるものを作れないときは-1を出力せよ。

Sample Input 1

000

Output for the Sample Input 1

0

Sample Input 2

0.0

Output for the Sample Input 2

2

Sample Input 3

...

Output for the Sample Input 3

7

Sample Input 4

(1.1)

Output for the Sample Input 4

2

Sample Input 5

0-1.

Output for the Sample Input 5

-1

Solution in C++11 (judge verdict: Wrong Answer)

#include <iostream>
#include <cstring>
#include <cstdio>
#include <cctype>
using namespace std;

#ifdef DEBUG
#define dump(s) cerr << #s << " = " << s << endl
#else
#define dump(...)
#endif

char s[200];
char *p;
int n;

bool ok(int n){
    return 0<=n && n<=(1<<10);
}

int E();
int F();
int T();
int N();

int E(){
    int res = F();
    while(*p=='+' || *p=='-'){
        if(*p=='+') p++, res += F();
        else if(*p=='-') p++, res -= F();
        if(!ok(res)) throw "";
    }
    return res;
}

int F(){
    int res = T();
    while(*p=='*' || *p=='/'){
        if(!ok(res)) throw "";
        if(*p=='*') p++, res *= T();
        else if(*p=='/') p++, res /= T();
        if(!ok(res)) throw "";
    }
    return res;
}

int T(){
    int res;
    if(*p=='(') p++, res = E(), p++;
    else res = N();
    if(!ok(res)) throw "";
    return res;
}

int N(){
    int res = 0;
    if(!isdigit(*p)) throw "";
    while(isdigit(*p)){
        res = res*2 + *p - '0';
        p++;
    }
    if(!ok(res)) throw "";
    return res;
}

bool chk(){
    for(int i=0;i<n;i++){
        if(s[i]!='(') continue;
        int j = i;
        int d = 0;
        int cnt = 0;
        while(s[j]){
            if(s[j]=='(') d++;
            else if(s[j]==')') d--;
            if(d==1) if(s[j]=='+' || s[j]=='-' || s[j]=='*' || s[j]=='/') cnt++;
            if(d==0) break;
            j++;
        }
        dump(cnt);
        dump(d);
        if(d!=0 || cnt==0) return false;
    }
    return true;
}

int main(){
    cin >> s;
    n = strlen(s);
    int x[6], k = 0;
    char cand[] = "01+-*())";
    for(int i=0;i<n;i++){
        if(s[i]=='.') x[k++] = i;
    }
    int ans = -1;
    for(int mask=0;mask<1<<(3*k);mask++){
        p = s;
        int t = mask;
        for(int i=0;i<k;i++) s[x[i]] = cand[t>>(3*i)&7];
        dump(s);
        if(!chk()) continue;
        try {
            int t = E();
            if(p-s!=n) continue;
            dump(t);
            ans = max(ans,t);
        } catch(...){}
    }
    cout << ans << endl;
}