public void traceBack()
	{
	//	System.out.println("ANSWER NOW = "+myTrace);
		backTrackToCNF();
		backTrackToUnit();
		backTrackToLambda();
		
		//System.out.println("size is = "+myAnswer.size());
		if (myAnswer.size()==0)
			myAnswer.addAll(myTrace);
	//	System.out.println("final answer");
	//	System.out.println(myAnswer);
	}