solve (-12 + sqrt(12^2-4*4*3))/(2*4)