usr/lib/python2.7/site-packages/_satsolver.so
usr/lib/python2.7/site-packages/satsolver.py