solve {cos((x−7)*(Pi/3))=1/2,-5<x,x<0} over the reals