How do you solve 513=t613?