解を持つかどうかの判定はどうすれば?