deleted old solvertest