St^x \ s = Uftb t v * att t *.