test_pycosat.py
