#include <bits/stdc++.h>
using namespace std;
#define int long long
#define stoi stoll
using pii=pair<int,int>;
using vi = vector<int>;
using vvi = vector<vi>;
#define all(c) begin(c),end(c)
#define rall(c) rbegin(c),rend(c)
#define fore(x,c) for(auto &&x:c)
#define rep(i,a,n) for(int i=a,i##len=(int)(n);i<i##len;++i)
#define rrep(i, a, n) for(int i=(int)(n-1);i>=a;--i)
#define sz(c) ((int)c.size())
#define contains(c,x) (c.find(x)!=end(c))
#define inseg(l,x,r) ((l)<=(x)&&(x)<(r))
#define dump(...)
#define pb push_back
#define _ 0
const signed INF_=1001001001; const long long INF=1001001001001001001LL;
const int DX[9]={0,1,0,-1,1,1,-1,-1,0},DY[9]={-1,0,1,0,-1,1,1,-1,0};
template<class T> ostream& operator<<(ostream &os,const vector<T> &v) {
    for (auto i = begin(v); i != end(v); i++) os<<*i<<(i==end(v)-1?"":" ");return os;}
template<class T> istream& operator>>(istream &is,vector<T> &v) {
    for (auto i = begin(v); i != end(v); i++) is>>*i;return is;}
template<class T,class U> istream& operator>>(istream &is, pair<T,U> &p) {
    is>>p.first>>p.second;return is;}
template<class T, class U> bool chmax(T &a,const U &b){return a<b?a=b,1:0;}
template<class T, class U> bool chmin(T &a,const U &b){return a>b?a=b,1:0;}
template <class T> void psum(T& c) {partial_sum(begin(c), end(c), begin(c));}
template<class T> using heap=priority_queue<T,vector<T>,greater<T>>;
struct before_main_function {
    before_main_function() {
        cin.tie(nullptr); ios::sync_with_stdio(0);
        cout << setprecision(15) << fixed;
        // #define endl "\n"
    }
} before_main_function;
//------------------8<------------------------------------8<--------------------

string S;
struct State {
    int i;
    char check() {
        if (i == S.size()) return '$';
        return S[i];
    }
    char next() {
        char ret = check();
        i++;
        return ret;
    }
};

int or_exp(State &st, int p);
int and_exp(State &st, int p);
int term(State &st, int p);

pii memo_or[200005][2];
pii memo_and[200005][2];

int or_exp(State &st, int p) {
    auto &MEMO = memo_or[st.i][p];
    if (MEMO.first != INF) {
        st.i = MEMO.second;
        return MEMO.first;
    }

    if (p) {
        // 1
        State bkup = st;
        int zero = and_exp(st, 0);
        st = bkup;
        int one = and_exp(st, 1);
        
        int ret = one;
        while (st.check() == '|') {
            st.next();
            bkup = st;
            int tmp_z = and_exp(st, 0);
            st = bkup;
            int tmp_o = and_exp(st, 1);

            chmin(ret, zero + tmp_o);
            zero += tmp_z;
        }
        MEMO.second = st.i;
        return MEMO.first = ret;
    } else {
        // 0
        int ret = and_exp(st, 0);
        while (st.check() == '|') {
            st.next();
            ret += and_exp(st, 0);
        }
        MEMO.second = st.i;
        return MEMO.first = ret;
    }
}
int and_exp(State &st, int p) {
    auto &MEMO = memo_and[st.i][p];
    if (MEMO.first != INF) {
        st.i = MEMO.second;
        return MEMO.first;
    }

    if (p) {
        // 1
        int ret = term(st, 1);
        while (st.check() == '&') {
            st.next();
            ret += term(st, 1);
        }
        MEMO.second = st.i;
        return MEMO.first = ret;
    } else {
        // 0
        State bkup = st;
        int zero = term(st, 0);
        st = bkup;
        int one = term(st, 1);
        
        int ret = zero;
        while (st.check() == '&') {
            st.next();
            bkup = st;
            int tmp_z = term(st, 0);
            st = bkup;
            int tmp_o = term(st, 1);

            chmin(ret, one + tmp_z);
            one += tmp_o;
        }
        MEMO.second = st.i;
        return MEMO.first = ret;
    }
}

int term(State &st, int p) {
    if (st.check() == '(') {
        st.next();
        int ret = or_exp(st, p);
        assert(st.check() == ')');
        st.next();
        return ret;
    } else {
        assert(st.check() == '?');
        st.next();
        return 1;
    }
}

signed main() {
    rep(i, 0, 200005) rep(j, 0, 2) memo_or[i][j].first = INF;
    rep(i, 0, 200005) rep(j, 0, 2) memo_and[i][j].first = INF;

    cin >> S;
    State st = {0};
    int zero = or_exp(st, 0);
    st = State {0};
    int one;
    one = or_exp(st, 1);
    cout << zero << " " << one << endl;
    return (0^_^0);
}




Measured memory_bytes: 16008