% SZS status Timeout for CONS__ACYCLIC_
