% SZS status Timeout for literal__case__
