#include "bits/stdc++.h"
using namespace std;
typedef long long ll;
#define rep(i,n) for(int i=0;i<(int)(n);i++)
int gcd(int a,int b){return b?gcd(b,a%b):a;}

int main() {
    cin.tie(0);
    ios::sync_with_stdio(false);
    char c[3];
    scanf("%c %c %c",&c[0],&c[1],&c[2]);
    rep(i,3) {
        if(c[i]=='?') 
            c[i]='1';
    }
    if ((c[0]>c[1]&&c[1]<c[2])||(c[0]<c[1]&&c[1]>c[2])) {
        cout << 1;
    }
    rep(i,3) {
        if(c[i]=='1') 
            c[i]='4';
    }
    if ((c[0]>c[1]&&c[1]<c[2])||(c[0]<c[1]&&c[1]>c[2])) {
        cout << 4;
    }
    cout << endl;
    printf("%c %c %c\n",c[0],c[1],c[2]);
    return 0;
}