% SZS status Timeout for smaller__satisfies__uppe
