#define DEBUG 0

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

#if DEBUG
// basic debugging macros
int __i__,__j__;
#define printLine(l) for(__i__=0;__i__<l;__i__++){cout<<"-";}cout<<endl
#define printLine2(l,c) for(__i__=0;__i__<l;__i__++){cout<<c;}cout<<endl
#define printVar(n) cout<<#n<<": "<<n<<endl
#define printArr(a,l) cout<<#a<<": ";for(__i__=0;__i__<l;__i__++){cout<<a[__i__]<<" ";}cout<<endl
#define print2dArr(a,r,c) cout<<#a<<":\n";for(__i__=0;__i__<r;__i__++){for(__j__=0;__j__<c;__j__++){cout<<a[__i__][__j__]<<" ";}cout<<endl;}
#define print2dArr2(a,r,c,l) cout<<#a<<":\n";for(__i__=0;__i__<r;__i__++){for(__j__=0;__j__<c;__j__++){cout<<setw(l)<<setfill(' ')<<a[__i__][__j__]<<" ";}cout<<endl;}

// advanced debugging class
// debug 1,2,'A',"test";
class _Debug {
    public:
        template<typename T>
        _Debug& operator,(T val) {
            cout << val << endl;
            return *this;
        }
};
#define debug _Debug(),
#else
#define printLine(l)
#define printLine2(l,c)
#define printVar(n)
#define printArr(a,l)
#define print2dArr(a,r,c)
#define print2dArr2(a,r,c,l)
#define debug
#endif

// define
#define MAX_VAL 999999999
#define MAX_VAL_2 999999999999999999LL
#define EPS 1e-6
#define mp make_pair
#define pb push_back

// typedef
typedef unsigned int UI;
typedef long long int LLI;
typedef unsigned long long int ULLI;
typedef unsigned short int US;
typedef pair<int,int> pii;
typedef pair<LLI,LLI> plli;
typedef vector<int> vi;
typedef vector<LLI> vlli;
typedef vector<pii> vpii;
typedef vector<plli> vplli;

// ---------- END OF TEMPLATE ----------

struct line { int z,l,r; };
int main() {
    string S;
    cin >> S;

    int i,j,k;
    vector<line> v,v2;
    v.pb((line){0,0,0});
    for (i = 0; i < S.size(); i++) {
        if (S[i] == '1') {
            for (j = 0; j < v.size(); j++) {
                v[j].l++,v[j].r++;
                if (v[j].r > v[j].z) {
                    v2.pb((line){v[j].z+1,v[j].z+1,v[j].z+1});
                    v[j].r -= 2;
                }
                if (v[j].l <= v[j].r) v2.pb(v[j]);
            }
        }
        else if (S[i] == '0') {
            for (j = 0; j < v.size(); j++) {
                v[j].l--,v[j].r--;
                if (v[j].l < 0) {
                    v2.pb((line){v[j].z+1,0,0});
                    v[j].l += 2;
                }
                if (v[j].l <= v[j].r) v2.pb(v[j]);
            }
        }
        else {
            for (j = 0; j < v.size(); j++) {
                v[j].l--,v[j].r++;
                if (v[j].l < 0) {
                    v2.pb((line){v[j].z+1,0,0});
                    v[j].l += 2;
                }
                if (v[j].r > v[j].z) {
                    v2.pb((line){v[j].z+1,v[j].z+1,v[j].z+1});
                    v[j].r -= 2;
                }
                if (v[j].l <= v[j].r) v2.pb(v[j]);
            }
        }
        v = v2,v2.clear();
        for (j = 0; j < v.size(); j++) {
            for (k = 0; k < v.size(); k++) {
                if (j != k) {
                    if ((v[j].l == v[j].r) && (v[k].l <= v[j].l) && (v[k].z-v[k].l <= v[j].z-v[j].l)) break;
                    if ((v[j].l == v[j].r) && (v[k].r <= v[j].r) && (v[k].z-v[k].r <= v[j].z-v[j].r)) break;
                }
            }
            if (k == v.size()) v2.pb(v[j]);
        }
        v = v2,v2.clear();
    }
    int ans = S.size();
    for (i = 0; i < v.size(); i++) ans = min(ans,v[i].z);
    printf("%d\n",ans);

    return 0;
}



Measured memory_bytes: 5300