% SZS status Timeout for TC__implies__one__st
