pycosat >=0.6.3
