[wip] solver, solveset and unrad changes