python3 -m pip --version; python3 -m pip install --user z3-solver 2>