TX=LV89; C=STP_LVS89(|_02)(|L);