### Solve equation 1/3*x + sin(2*x)==1

Hi all.

I have the equations

```
y - 1 == 0,
y == 1/3*x + sin(2*x)
```

and I want solutions. I know by the intermediate value theorem that there are two solutions : about x=0.5 and x=1.25.
I'd like Sage to give me these solutions. I already tried to_poly_solve=True and/or explicit_solutions=True.

As an example of failure :

```
sage: solve( 1/3*x + sin(2*x)==1,x,explicit_solutions=True )
[]
```

What can I do ?

Thanks
Laurent Claessens