% SZS status Timeout for acyclic__uni
