195.69/49.99	MAYBE
195.69/49.99	
195.69/49.99	Problem:
195.69/49.99	 a(x1) -> x1
195.69/49.99	 a(a(b(x1))) -> b(a(b(a(c(a(x1))))))
195.69/49.99	 c(b(x1)) -> x1
195.69/49.99	
195.69/49.99	Proof:
195.69/49.99	 Open
195.69/50.00	EOF