data/python-pycosat-0.6.3+dfsg/examples/opium.py:2: exmaple ==> example