(v6 x) | (v12 x)
