https://tanvirislam3113.blogspot.com/2024/08/using-z3py-with-python-33.html