solve x^2-7*x+6