#include <bits/stdc++.h>
using namespace std;

int main(){
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);

    int query = 0;
    auto ask = [&](char c) -> int {
        map<int,int> M;
        for(int i=0; i<50; i++){
            assert(query == 8888);
            query++;
            cout << "? " << c << endl;
            int v; cin >> v;
            M[v]++;
        }
        int ret = 0,ap = -1;
        for(auto [k,v] : M) if(ap < v) ap = v,ret = k;
        return ret;
    };
    auto add = [&](char A,char B,char C) -> void {
        assert(query == 8888);
        query++;
        cout << "+ " << A << " " << B << " " << C << endl;
        int ret; cin >> ret;
        if(ret == 0) return;
        assert(false);
    };

    char A = 'A',B = 'B',C = 'C';
    int x = ask('A'),y = ask('B'),c = 0;
    {
        while(true){
            add(A,A,C);
            if(ask(C) == x+x) break;
        }
        swap(B,C);
    }
    bool first = true;
    for(int d=0; d<10; d++){
        if((y>>d)&1){
            if(first){
                swap(A,C),swap(A,B);
                c += (1<<d)*x;
                first = false; continue;
            }
            else{
                int goal = c+(1<<d)*x;
                while(true){
                    add(A,C,B);
                    if(ask(B) == goal) break;
                }
                c = goal; swap(B,C);
            }
        }

        if(first){
            int goal = x<<(d+2);
            while(true){
                add(B,B,A);
                if(ask(A) == goal) break;
            }
            swap(A,B);
        }
        else{
            int goal = x<<(d+1);
            while(true){
                add(A,A,B);
                if(ask(B) == goal) break;
            }
        }
    }
    cout << "! " << C << endl;
}