I had the PYCOSAT variable checks backwards