How do you solve 1x+7=23?