don't check pycosat.__version__, but behaviour of pycosat