refactored solvers a bit
bug fix in SQRT solver