// #define DEBUGGING
#include <bits/stdc++.h>
using namespace std;
#define endl '\n'
#define ALL(V) (V).begin(), (V).end()
#define ALLR(V) (V).rbegin(), (V).rend()

template <typename T> using V = vector<T>;
template <typename T> using VV = V<V<T>>;
using ll = int64_t;
using ull = uint64_t;
using PLL = pair<ll, ll>;

template <typename T> const T& var_min(const T &t) { return t; }
template <typename T> const T& var_max(const T &t) { return t; }
template <typename T, typename... Tail> const T& var_min(const T &t, const Tail&... tail) { return min(t, var_min(tail...)); }
template <typename T, typename... Tail> const T& var_max(const T &t, const Tail&... tail) { return max(t, var_max(tail...)); }
template <typename T, typename... Tail> void chmin(T &t, const Tail&... tail) { t = var_min(t, tail...); }
template <typename T, typename... Tail> void chmax(T &t, const Tail&... tail) { t = var_max(t, tail...); }
template <typename T> const T& clamp(const T &t, const T &low, const T &high) { return max(low, min(high, t)); }
template <typename T> void chclamp(T &t, const T &low, const T &high) { t = clamp(t, low, high); }

namespace init__ {

struct InitIO {
    InitIO() {
        cin.tie(nullptr);
        ios_base::sync_with_stdio(false);
        cout << fixed << setprecision(30);
    }
} init_io;

}

#ifdef DEBUGGING
#include "../../debug/debug.cpp"
#else
#define DEBUG(...) 0
#define DEBUG_SEPARATOR_LINE 0
#endif

template <typename T>
T make_v(T init) { return init; }

template <typename T, typename... Tail>
auto make_v(T init, size_t s, Tail... tail) {
#define rec make_v(init, tail...)
    return V<decltype(rec)>(s, rec);
#undef rec
}

using Cost = PLL;

void eat(const string &S, size_t &idx, char c) {
    assert(S[idx] == c);
    idx++;
}

Cost calc_or_stmt(const string &S, size_t &idx);
Cost calc_and_stmt(const string &S, size_t &idx);

Cost calc_or_stmt(const string &S, size_t &idx) {
    Cost ret;
    bool init = true;
    while(true) {
        if(idx < S.size() && S[idx] == '|') eat(S, idx, '|');
        else if(!init) break;

        Cost res = calc_and_stmt(S, idx);
        
        if(init) {
            ret = res;
            init = false;
        } else {
            chmin(ret.first, ret.second + res.first);
            ret.second += res.second;
        }
    }
    return ret;
}

Cost calc_and_stmt(const string &S, size_t &idx) {
    Cost ret;
    bool init = true;
    while(true) {
        if(idx < S.size() && S[idx] == '&') eat(S, idx, '&');
        else if(!init) break;

        Cost res;
        if(S[idx] == '(') {
            eat(S, idx, '(');
            res = calc_or_stmt(S, idx);
            eat(S, idx, ')');
            DEBUG(res);
        } else {
            eat(S, idx, '?');
            res = Cost(1, 1);
        }

        if(init) {
            ret = res;
            init = false;
        } else {
            chmin(ret.second, ret.first + res.second);
            ret.first += res.first;
        }
    }
    DEBUG(ret);
    return ret;
}

int main() {
    string S;
    cin >> S;
    size_t idx = 0;
    auto res = calc_or_stmt(S, idx);
    cout << res.second << ' ' << res.first << endl;
    return 0;
}



Measured memory_bytes: 3520