How do you solve 813=12?