% SZS status Timeout for NULL__FOL
