be lazy when importing pycosat - remove unused utility function