How do you solve #z-17.2=7.13#?