>>20
あ、ごめん端折ってないのか
正の整数解をもつだからどっちも整数解じゃなくてもいいんだぞ