Started solving revp
Solver sset