This polynomial can be decomposed into two binary linear equations.
4(x-0. 123)+7(y+3.45)= 1 1
1 5(x-0. 123)-(y+3.45)= 1 1
Then multiply the second formula by 7, and then add it to the first formula by substitution method for solving binary linear equations.
Get 109(x-0. 123)=88.
Then the solution will do.