How do you solve #2cos(2x+80)=1# for #0<=x<=pi#?