How do you solve 58=x12?