[wip] solver, solveset and unrad changes

spae after ==