TX=Tw 308 + Bw 87; C=(VBD_3_309(|L),VBD_87)|(VBD_4_309(|L),VBD_87);