Add, just for the seek of example, solvertest