solve over integers a+b-c=0