ABC has vertices at a(11,6), B(5,6), and (5,17).