% SZS status Timeout for COMM__MONOID__FOL
