changed title
added solverseq