% SZS status Timeout for finite__acyclic__has__maximal__pa
