#include using namespace std; using G=vector>; typedef long long ll; #define rep(i,l,r) for(int i=(l);i<(r);++i) int main(){ int x,y; cin>>x>>y; int z=max(x,y)+4; if(z>11) cout<