using benv/bin/python to run the solver script