forgot to add solver.pyc