% SZS status Timeout for PSWHEN__EXPRESSIVE_
