MAYBE
Variable condition is not satisfied

Final result: Can't judge
new/seteq3.trs: Failure(unknown)
(1 msec.)