K t1 1 t2 1 (23/48)

K t1 1 t2 1