A->[DBCCDB,3]
B->[b,4]
C->[a,4]
D->[BC,11]