removed solver.pyc