条件の不足無しにちゃんと解けることが判明
http://arakik10.hatenablog.com/entry/2018/01/22/115904