//先判断给定的算式是否正确,这个首先要将罗马数字转化成阿拉伯数字
//第二就是看字母用0---9数字代入的时候算式是否成立,1有不可能成立,2只有一个可行解,3有大于等于2的可行解
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
int n,ok,final[50];
int encode[]={1,5,10,50,100,500,1000},vis[50];
char ss[100],code[]={"IVXLCDM"},str[50];
int tonum(char *s)
{
int i,j,temp=-1,res=0;
for(i=0;i<strlen(s);i++){
for(j=0;j<7;j++){
if(code[j]==s[i]){
if(temp==-1)res=temp=encode[j];
else if(encode[j]>temp){
res+=encode[j]-temp-temp;
}
else{
res+=encode[j];
temp=encode[j];
}
break;
}
}
}
return res;
}
void dfs(int x)
{
int i,j;
if(ok>1)return ;
if(x==n)
{
int x=0,y=0,sum=0;
for(i=0;i<strlen(ss);i++)
{
if(ss[i]=='+')break;
for(j=0;j<n;j++)
if(ss[i]==str[j])
x=x*10+final[j];
if(x==0)return ;
}
for(i=i+1;i<strlen(ss);i++)
{
if(ss[i]=='=')break;
for(j=0;j<n;j++)
if(ss[i]==str[j])
y=y*10+final[j];
if(y==0)return ;
}
for(i=i+1;i<strlen(ss);i++)
{
for(j=0;j<n;j++)
if(ss[i]==str[j])
sum=sum*10+final[j];
if(sum==0)return ;
}
if(x+y==sum)
ok++;
return ;
}
for(i=0;i<=9;i++)
if(!vis[i])
{
vis[i]=1;
final[x]=i;
dfs(x+1);
vis[i]=0;
}
}
main()
{
int i,sum,x,y,num;
//freopen("D:\\u.txt","r",stdin);
while(gets(ss))
{
if(strcmp(ss,"#")==0)break;
num=x=y=sum=0;
for(i=0;i<strlen(ss);i++)
{
if(ss[i]=='+')break;
str[num++]=ss[i];
}
str[num]='\0';
x=tonum(str);
num=0;
for(i=i+1;i<strlen(ss);i++)
{
if(ss[i]=='=')break;
str[num++]=ss[i];
}
str[num]='\0';
y=tonum(str);
num=0;
for(i=i+1;i<strlen(ss);i++)
str[num++]=ss[i];
str[num]='\0';
sum=tonum(str);
//printf("%d+%d=%d\n",x,y,sum);
if(x+y==sum)
printf("Correct ");
else printf("Incorrect ");
num=0;
memset(vis,0,sizeof(vis));
for(i=0;i<strlen(ss);i++)
{
if(ss[i]=='='||ss[i]=='+')continue;
if(vis[ss[i]-'A'])continue;
str[num++]=ss[i];
vis[ss[i]-'A']=1;
}
str[num]='\0';
memset(vis,0,sizeof(vis));
n=strlen(str);
ok=0;
dfs(0);
if(ok>1)
printf("ambiguous\n");
else if(ok==1)
printf("valid\n");
else printf("impossible\n");
}
return 0;
}