OpenSAT

To solve for x, we can use elimination. Multiplying the second equation by 2, we get $2x - 4y = 2$. Subtracting this equation from the first equation, we get $7y = 10$, so $y = \frac{10}{7}$. Substituting this value of y into the second equation, we get $x - 2(\frac{10}{7}) = 1$, so $x = 1 + \frac{20}{7} = \frac{27}{7}$. Therefore, the value of x is 4.