1.97/1.35	NO
1.97/1.35	
1.97/1.35	Proof:
1.97/1.35	This system is not confluent.
1.97/1.35	For the unconditional CP c = d the left- and right-hand sides are two different normal forms wrt R_u.
1.97/1.35	
1.97/1.37	EOF