#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define all(x) (x).begin(),(x).end()
const int mod=1000000007,MAX=200005,INF=1<<30;

int main(){
    
    std::ifstream in("text.txt");
    std::cin.rdbuf(in.rdbuf());
    cin.tie(0);
    ios::sync_with_stdio(false);
    
    int X,A,B;cin>>X>>A>>B;
    int cnt=0;
    
    for(int i=0;i<A;i++){
        int a;cin>>a;
        if(a==X) cnt++;
    }
    
    for(int i=0;i<B;i++){
        int a;cin>>a;
        if(a==X) cnt+=2;
    }
    
    if(cnt==0) cout<<-1<<endl;
    if(cnt==1) cout<<"MrMax"<<endl;
    if(cnt==2) cout<<"MaxValu"<<endl;
    if(cnt==3) cout<<"MrMaxValu"<<endl;
}