0.00/0.49	NO
0.00/0.49	
0.00/0.49	Problem:
0.00/0.50	a() -> c()
0.00/0.50	a() -> d()
0.00/0.50	s(c()) -> t(k())
0.00/0.50	f(x) -> z <= s(x) = t(z)
0.00/0.50	
0.00/0.50	Proof:
0.00/0.50	This system is not confluent.
0.00/0.50	This system is oriented.
0.00/0.50	For the unconditional CP c() = d() ctcap(c()) and ctcap(d()) wrt R_u are not unifiable.
0.00/0.50	
0.00/0.84	EOF