SAT simultaneous equations

How can we solve the following system of equations:



Thanks in advance!!