そうですね
なので実際に全ての�@を満たす整数を見つけてみたらいいと思いますよ
5(a+b)+3c=1を満たすa+b,cを求めることができれば、a,b,cも求めることができるでしょうね