solver for pure symbolic is done.