solve(x**2 + y**2 == 1)