すげー、y=6として最初から辿ってみたら矛盾したわ…これは大発見だな