MAYBE
0.08/0.19	MAYBE
0.08/0.19	
0.08/0.19	Problem:
0.08/0.19	 if(true(),t,e) -> t
0.08/0.19	 if(false(),t,e) -> e
0.08/0.19	 member(x,nil()) -> false()
0.08/0.19	 member(x,cons(y,ys)) -> if(eq(x,y),true(),member(x,ys))
0.08/0.19	 eq(nil(),nil()) -> true()
0.08/0.19	 eq(O(x),0(y)) -> eq(x,y)
0.08/0.19	 eq(0(x),1(y)) -> false()
0.08/0.19	 eq(1(x),0(y)) -> false()
0.08/0.19	 eq(1(x),1(y)) -> eq(x,y)
0.08/0.19	 negate(0(x)) -> 1(x)
0.08/0.19	 negate(1(x)) -> 0(x)
0.08/0.19	 choice(cons(x,xs)) -> x
0.08/0.19	 choice(cons(x,xs)) -> choice(xs)
0.08/0.19	 guess(nil()) -> nil()
0.08/0.19	 guess(cons(clause,cnf)) -> cons(choice(clause),guess(cnf))
0.08/0.19	 verify(nil()) -> true()
0.08/0.19	 verify(cons(l,ls)) -> if(member(negate(l),ls),false(),verify(ls))
0.08/0.19	 sat(cnf) -> satck(cnf,guess(cnf))
0.08/0.19	 satck(cnf,assign) -> if(verify(assign),assign,unsat())
0.08/0.19	
0.08/0.19	Proof:
0.08/0.19	 Open
0.08/0.19	EOF