y=(531-123x)/57=9-2x+3(2-x)/19
由于需为整数,所以有：2-x=19n,而因x