52157ec610691058b908fa1b5a68a4a9864c4bb4  SOURCES/pycosat-0.6.6.tar.gz