晓彤同学在科技活动小组中为学校茶炉房设计了如图1所示的人工控制电路.用红绿灯分别表示水是否烧开,只红灯亮,表示水未烧开,只绿灯亮,表示水已烧开.
若a是函数fx=2x-log12x的零点,若0<x0<a,则fx0=0的值满足( )