The solution set of tan2x=1 [0,1]?