>>301
Dは解を持つかどうかを調べるもの
実際の解がいくつなのかを調べるものではない