Solverx+1-r1-x=12 ,x