Removed solver.pyc