% SZS status Timeout for MAP__EQ__NIL_
