X1 x2 0 (6/48)

X1 x2 0