solve(12*sqrt(x)=x^(2)-7x+18,x)