unittest for solver.py