from utc, there is a time zone with an offset of 3.5. what is the name of that time zone?
(AND time.time_zone (JOIN time.time_zone.offset_from_uct 3.5^^http://www.w3.org/2001/XMLSchema#float))