не могу пройти тест на timus

[nowhow]

задача:
http://acm.timus.ru/problem.aspx?num=1494&locale=ru

#include <iostream>
#include <stack>
using  namespace std;
const int len=100001;
int main()
{
	int n,t;
	int A[len];
	cin>>n;
	for( int i(1);i<=n;i++)
	{
		cin>>t;
		A[i]=t;
	}
	stack<int> MySt;
	if(A[1]!=1)
		if(A[1]==2)
			MySt.push(1);
		else
			for(int i(1);i<=A[1]-1;i++)
				MySt.push(i);
	int temp=A[1];
	bool bVal=1;
	for(int i(2);i<=n;i++)
	{
		if(A[i]>(!MySt.empty() && MySt.top()+1))
			if(A[i]==temp+1)
				temp=A[i];
			else
				for(int j(temp+1);j<=A[i]-1;j++)
				{
					MySt.push(j);
					if(A[i]>temp)
						temp=A[i];
				}
		else
			if(!MySt.empty() && A[i]==MySt.top())
			{
				MySt.pop();
				if(A[i]>temp)
					temp=A[i];
			}
			else
				bVal=0;
	
	}
	if(bVal) cout<<"Not a proof"; else cout<<"Cheater";
		
}

тест:
6
3
4
2
1
5
6
Answer is "Not a proof"

[kostan3]

#include <iostream>
using namespace std;
int n,t1=0,t2=1,a[100001],b[100001];
int main()
{
    cin>>n;
    for (int i=1;i<=n;++i)
        scanf("%d",b+i);
    for (int i=1;i<=n;++i)
    {
        a[++t1]=i;
        for (;t1&&(a[t1]==b[t2]);--t1,++t2);
    }
    cout<<(t1 ? "Cheater" : "Not a proof");
}