python-sat==1.9.dev16
numpy==2.5.4
