coNP困難