Using Mathics and reusing its computed results

edit

As I am curious and a former Mathematica user, I have installed mathics on my computer then I have tried the following simple code

from sage.interfaces.mathics import mathics
sys = mathics('{x^2 - 3y == 3, 2x - y == 1}')
print(sys)

which works as expected (show() is not available for displaying the result since it returns the LaTeX code). Then I use

sys1=sys.Sage()

to convert sys to sageMath. Calling it I have

But from there I have not found the way to extract the values of $x$ to reuse it in SageMath. Has some one a possible solution?