% SZS status Timeout for AND__EL__FOL
