A B x3 ) ( 1216 .)