update Symboilc solver