pycosat
pyyaml
requests