Question: Does this system of equations have no solutions?

I want to find the edges b and c of the triangle ABC knowing that the mesure of angles are 15 degrees, 30 degrees and 135 degrees and the length of one side is 3. I tried

restart:

a:=3:

eq1:=(a^2+b^2-c^2)/(2*a*b):

eq2:=(b^2+c^2-a^2)/(2*b*c):

eq3:=(c^2+a^2-b^2)/(2*a*c):

solve([eq1=cos(15*Pi/180),eq2=cos(30*Pi/180),eq3=cos(135*Pi/180)],[c,b]);

But I do not get any solution of this system of equations. Does this system of equations have no solutions? 

Please Wait...