0.00/0.00	YES
0.00/0.00	
0.00/0.00	INFEASIBLE.
0.00/0.00	
0.00/0.00	One of the following is infeasible { 
0.00/0.00	 Root-Decomposition {,(x,x)} {,(a(),b())}
0.00/0.00	
0.00/0.00	 Root-Decomposition {,(x,x)} {,(a(),b())}
0.00/0.00	
0.00/0.00	 Same RHS of {a()} {b()}
0.00/0.00	
0.00/0.00	}
0.00/0.00	THEN  Narrowing x
0.00/0.00	THEN  USING Unification fails for {a()} {b()} HAVE infeasible.
0.00/0.00	
0.00/0.00	Hint: Since ',' is a reserved character in the input format, it is used internally for compound terms.
0.00/0.00	
0.00/0.01	EOF