% SZS status Timeout for FOLDL__EQ__FOL
