How do you solve 4x^2+7=23?