MAYBE
197.56/55.36	MAYBE
197.56/55.36	
197.56/55.36	Problem:
197.56/55.36	 a(x1) -> b(x1)
197.56/55.36	 b(b(b(c(x1)))) -> a(c(c(b(a(a(x1))))))
197.56/55.36	
197.56/55.36	Proof:
197.56/55.36	 Open
197.56/55.37	EOF