add solver_test.py