print("import: 'pycosat'")
import pycosat