% SZS status Timeout for knaster__tarski__l
